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

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c67 static uint32_t secondary_control_low; variable
263 secondary_control_low = x86_rdmsr_high(IA32_VMX_PROCBASED_CTLS2_MSR);
275 if (!(secondary_control_low & BIT(5))) {
313 missing = (~secondary_control_low) & secondary_control_mask;
456 vmwrite(VMX_CONTROL_SECONDARY_PROCESSOR_CONTROLS, secondary_control_high & secondary_control_low);
724 value = applyFixedBits(value, secondary_control_high, secondary_control_low);

Completed in 46 milliseconds