Searched refs:VCPU_REG_CR4 (Results 1 – 3 of 3) sorted by relevance
635 BIT(VCPU_REG_CR4) | \
2669 case VCPU_REG_CR4: in vmx_cache_reg()3614 kvm_register_mark_available(vcpu, VCPU_REG_CR4); in vmx_set_cr4()
181 VCPU_REG_CR4, enumerator