Searched refs:GUEST_GDTR_BASE (Results 1 – 4 of 4) sorted by relevance
489 GUEST_GDTR_BASE = 0x00006816, enumerator
1209 __vmwrite(GUEST_GDTR_BASE, 0); in construct_vmcs()1767 base = vmr(lim + (GUEST_GDTR_BASE - GUEST_GDTR_LIMIT)); in vmx_dump_sel2()
891 GUEST_GDTR_BASE,944 {HOST_GDTR_BASE, GUEST_GDTR_BASE},
1125 __vmread(GUEST_GDTR_BASE, ®->base); in vmx_get_segment_register()1264 __vmwrite(GUEST_GDTR_BASE, base); in vmx_set_segment_register()
Completed in 19 milliseconds