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

/seL4-camkes-master/kernel/src/arch/x86/object/
H A Dvcpu.c73 static uint32_t cr0_low; variable
210 if (!check_fixed_value(cr0, cr0_low, cr0_high)) {
270 cr0_low = x86_rdmsr_low(IA32_VMX_CR0_FIXED1_MSR);
385 local_cr0_low == cr0_low &&
406 vcpu->cr0 = cr0_high & cr0_low;
730 value = applyFixedBits(value, cr0_high, cr0_low);

Completed in 25 milliseconds