Searched refs:GUEST_CR4 (Results 1 – 3 of 3) sorted by relevance
304 GUEST_CR4 = 0x00006804, enumerator
387 case GUEST_CR4: in evmcs_vmread()774 case GUEST_CR4: in evmcs_vmwrite()
287 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()