Searched refs:IA32_EFER_MSR (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-master/seL4/src/arch/x86/64/
H A Dhead.S27 #define IA32_EFER_MSR 0xC0000080 define
206 movl $IA32_EFER_MSR, %ecx
226 movl $IA32_EFER_MSR, %ecx
/seL4-l4v-master/seL4/include/arch/x86/arch/
H A Dmachine.h29 #define IA32_EFER_MSR 0xC0000080 macro
/seL4-l4v-master/seL4/src/arch/x86/object/
H A Dvcpu.c416 vmwrite(VMX_HOST_EFER, x86_rdmsr(IA32_EFER_MSR));

Completed in 123 milliseconds