Searched refs:spmd_setup (Results 1 – 3 of 3) sorted by relevance
14 int spmd_setup(void);
57 if (spmd_setup() != 0) { in std_svc_setup()
303 int spmd_setup(void) in spmd_setup() function