Searched refs:spmd_setup (Results 1 – 6 of 6) sorted by relevance
14 int spmd_setup(void);
60 if (spmd_setup() != 0) { in std_svc_setup()
62 if (spmd_setup() != 0) { in std_svc_setup()
371 int spmd_setup(void) in spmd_setup() function
626 int spmd_setup(void) in spmd_setup() function