Searched refs:GUEST_GDTR_BASE (Results 1 – 3 of 3) sorted by relevance
313 GUEST_GDTR_BASE = 0x00006816, enumerator
324 case GUEST_GDTR_BASE: in evmcs_vmread()711 case GUEST_GDTR_BASE: in evmcs_vmwrite()
296 vmwrite(GUEST_GDTR_BASE, vmreadz(HOST_GDTR_BASE)); in init_vmcs_guest_state()