Searched refs:HOST_CR4 (Results 1 – 3 of 3) sorted by relevance
275 vmwrite(HOST_CR4, get_cr4()); in init_vmcs_host_state()340 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()
277 HOST_CR4 = 0x00006c04, enumerator
303 case HOST_CR4: in evmcs_vmread()709 case HOST_CR4: in evmcs_vmwrite()