Searched refs:HOST_ES_SELECTOR (Results 1 – 3 of 3) sorted by relevance
267 vmwrite(HOST_ES_SELECTOR, get_es()); in init_vmcs_host_state()305 vmwrite(GUEST_ES_SELECTOR, vmreadz(HOST_ES_SELECTOR)); in init_vmcs_guest_state()
166 HOST_ES_SELECTOR = 0x00000c00, enumerator
590 case HOST_ES_SELECTOR: in evmcs_vmread()977 case HOST_ES_SELECTOR: in evmcs_vmwrite()