Searched refs:GUEST_CR4 (Results 1 – 4 of 4) sorted by relevance
58 guest_cr4 = vmreadz(GUEST_CR4); in l1_guest_code()60 vmwrite(GUEST_CR4, guest_cr4); in l1_guest_code()
255 GUEST_CR4 = 0x00006804, enumerator
408 case GUEST_CR4: in evmcs_vmread()850 case GUEST_CR4: in evmcs_vmwrite()
349 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()