Searched refs:cr4_changed_bits (Results 1 – 1 of 1) sorted by relevance
369 uint64_t cr4_changed_bits = vcpu_get_cr4(vcpu) ^ cr4; in vmx_write_cr4() local371 if ((cr4_changed_bits & CR4_TRAP_AND_PASSTHRU_BITS) != 0UL) { in vmx_write_cr4()382 if (!err_found && ((cr4_changed_bits & CR4_PCIDE) != 0UL)) { in vmx_write_cr4()391 cr4, cr4_changed_bits, vcpu_get_cr4(vcpu), guest_cr3); in vmx_write_cr4()399 if (!err_found && ((cr4_changed_bits & CR4_KL) != 0UL)) { in vmx_write_cr4()
Completed in 3 milliseconds