Searched refs:GUEST_CR4 (Results 1 – 3 of 3) sorted by relevance
302 GUEST_CR4 = 0x00006804, enumerator
389 case GUEST_CR4: in evmcs_vmread()776 case GUEST_CR4: in evmcs_vmwrite()
352 vmwrite(GUEST_CR4, vmreadz(HOST_CR4)); in init_vmcs_guest_state()