Searched refs:HOST_CR4 (Results 1 – 3 of 3) sorted by relevance
287 vmwrite(HOST_CR4, get_cr4()); in init_vmcs_host_state()352 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()
322 HOST_CR4 = 0x00006c04, enumerator
281 case HOST_CR4: in evmcs_vmread()668 case HOST_CR4: in evmcs_vmwrite()