54     uint32_t limit;  in x86_read_segment_descriptor()  local
65         limit = rvmcs(cpu->accel->fd, VMCS_GUEST_GDTR_LIMIT);  in x86_read_segment_descriptor()
68         limit = rvmcs(cpu->accel->fd, VMCS_GUEST_LDTR_LIMIT);  in x86_read_segment_descriptor()
71     if (sel.index * 8 >= limit) {  in x86_read_segment_descriptor()
84     uint32_t limit;  in x86_write_segment_descriptor()  local
88         limit = rvmcs(cpu->accel->fd, VMCS_GUEST_GDTR_LIMIT);  in x86_write_segment_descriptor()
91         limit = rvmcs(cpu->accel->fd, VMCS_GUEST_LDTR_LIMIT);  in x86_write_segment_descriptor()
94     if (sel.index * 8 >= limit) {  in x86_write_segment_descriptor()
95         printf("%s: gdt limit\n", __func__);  in x86_write_segment_descriptor()
106     uint32_t limit = rvmcs(cpu->accel->fd, VMCS_GUEST_IDTR_LIMIT);  in x86_read_call_gate()  local
109     if (gate * 8 >= limit) {  in x86_read_call_gate()
110         printf("%s: idt limit\n", __func__);  in x86_read_call_gate()