Searched refs:x86_wrmsr_parts (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/kernel/include/arch/x86/arch/
H A Dmachine.h121 static inline void x86_wrmsr_parts(const uint32_t reg, const uint32_t high, const uint32_t low) function
130 x86_wrmsr_parts(reg, high, low);
/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c1000 x86_wrmsr_parts(IA32_FEATURE_CONTROL_MSR, x86_rdmsr_high(IA32_FEATURE_CONTROL_MSR), feature_control.words[0]);
1005 x86_wrmsr_parts(IA32_FEATURE_CONTROL_MSR, x86_rdmsr_high(IA32_FEATURE_CONTROL_MSR), feature_control.words[0]);

Completed in 38 milliseconds