Searched refs:GUEST_CR4 (Results 1 – 3 of 3) sorted by relevance
391 case GUEST_CR4: in evmcs_vmread()778 case GUEST_CR4: in evmcs_vmwrite()
299 GUEST_CR4 = 0x00006804, enumerator
353 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()