Searched refs:psm_get_pir_ipivect (Results 1 – 4 of 4) sorted by relevance
77 extern int (*psm_get_pir_ipivect)(void); /* get PIR (for VMM) ipi vect */
195 int (*psm_get_pir_ipivect)(void); member
152 int (*psm_get_pir_ipivect)(void) = NULL; variable1174 psm_get_pir_ipivect = pops->psm_get_pir_ipivect; in mach_smpinit()
601 if (psm_get_pir_ipivect != NULL && in vmx_init()603 pirvec = psm_get_pir_ipivect(); in vmx_init()