Searched refs:x86_rdmsr (Results 1 - 7 of 7) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h100 static uint64_t x86_rdmsr(const uint32_t reg) function
112 return (uint32_t)x86_rdmsr(reg);
117 return (uint32_t)(x86_rdmsr(reg) >> 32ull);
256 return x86_rdmsr(IA32_FS_BASE_MSR);
/seL4-camkes-master/kernel/include/arch/x86/arch/64/mode/
H A Dmachine.h301 return x86_rdmsr(IA32_KERNEL_GS_BASE_MSR);
327 return x86_rdmsr(IA32_GS_BASE_MSR);
/seL4-camkes-master/kernel/src/arch/x86/machine/
H A Dhardware.c163 cap_msr.words[0] = x86_rdmsr(IA32_ARCH_CAPABILITIES_MSR);
/seL4-camkes-master/kernel/include/arch/x86/arch/32/mode/
H A Dmachine.h177 return x86_rdmsr(IA32_GS_BASE_MSR);
/seL4-camkes-master/kernel/src/arch/x86/kernel/
H A Dboot_sys.c366 cap_msr.words[0] = x86_rdmsr(IA32_ARCH_CAPABILITIES_MSR);
/seL4-camkes-master/kernel/src/api/
H A Dsyscall.c177 val = x86_rdmsr(reg);
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c415 vmwrite(VMX_HOST_PAT, x86_rdmsr(IA32_PAT_MSR));
416 vmwrite(VMX_HOST_EFER, x86_rdmsr(IA32_EFER_MSR));

Completed in 115 milliseconds