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