Searched refs:VMCS_GUEST_GDTR_BASE (Results 1 – 2 of 2) sorted by relevance
64 base = rvmcs(cpu->accel->fd, VMCS_GUEST_GDTR_BASE); in x86_read_segment_descriptor()87 base = rvmcs(cpu->accel->fd, VMCS_GUEST_GDTR_BASE); in x86_write_segment_descriptor()
193 #define VMCS_GUEST_GDTR_BASE 0x00006816 macro