Searched refs:cr0_changed_bits (Results 1 – 1 of 1) sorted by relevance
250 uint64_t cr0_changed_bits = vcpu_get_cr0(vcpu) ^ effective_cr0; in vmx_write_cr0() local252 if ((cr0_changed_bits & CR0_PG) != 0UL) { in vmx_write_cr0()291 if ((cr0_changed_bits & CR0_TRAP_AND_EMULATE_BITS) != 0UL) { in vmx_write_cr0()293 if ((cr0_changed_bits & CR0_CD) != 0UL) { in vmx_write_cr0()310 if ((cr0_changed_bits & (CR0_PG | CR0_WP | CR0_CD)) != 0UL) { in vmx_write_cr0()
Completed in 2 milliseconds