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