Searched refs:psm_setspl (Results 1 – 3 of 3) sorted by relevance
125 void (*psm_setspl)(int ipl); member273 void (*psm_setspl)(int ipl); member
1332 pops->psm_setspl = x2apic_setspl; in x2apic_update_psm()
1179 setspl = pops->psm_setspl; in mach_picinit()