Searched refs:MSR_INTC_SEP_EIP (Results 1 – 4 of 4) sorted by relevance
92 #define MSR_INTC_SEP_EIP 0x176 /* kernel eip MSR */ macro
136 #define MSR_INTC_SEP_EIP 0x176 /* kernel eip MSR */ macro
1348 wrmsr(MSR_INTC_SEP_EIP, (uintptr_t)brand_sys_sysenter); in brand_interpositioning_enable()1392 wrmsr(MSR_INTC_SEP_EIP, (uintptr_t)sys_sysenter); in brand_interpositioning_disable()
240 wrmsr(MSR_INTC_SEP_EIP, (uint64_t)(uintptr_t)sys_sysenter); in init_cpu_syscall()