Searched refs:ia32_splitlock (Results 1 – 6 of 6) sorted by relevance
451 ia32_splitlock = (msr & IA32_CORE_CAP_SPLITLOCK) != 0; in amd64_init_splitlock()453 if (ia32_splitlock) { in amd64_init_splitlock()
209 int ia32_splitlock = 0; variable211 &ia32_splitlock, 0,1935 MPASS(ia32_splitlock); in enable_splitlock_ac_wrmsr()1942 MPASS(ia32_splitlock); in enable_splitlock_ac_wrmsrimm()1967 MPASS(ia32_splitlock); in disable_splitlock_ac_wrmsr()1974 MPASS(ia32_splitlock); in disable_splitlock_ac_wrmsrimm()
431 if (!ia32_splitlock) { in sysarch()
414 else if (ia32_splitlock) in exec_splitlock()
10245 if (ia32_splitlock && oldtd != td) { in pmap_activate_sw()
49 extern int ia32_splitlock;