static void vmx_vmexit_show_segments() { vmx_vmexit_show_segment(&vm_state.cs, "cs"); vmx_vmexit_show_segment(&vm_state.ss, "ss"); vmx_vmexit_show_segment(&vm_state.ds, "ds"); vmx_vmexit_show_segment(&vm_state.es, "es"); vmx_vmexit_show_segment(&vm_state.fs, "fs"); vmx_vmexit_show_segment(&vm_state.gs, "gs"); vmx_vmexit_show_segment(&vm_state.tr, "tr"); }
static void vmx_vmexit_show_segments() { printf("\n- segment registers\n"); vmx_vmexit_show_segment(&vm_state.cs, "cs"); vmx_vmexit_show_segment(&vm_state.ss, "ss"); vmx_vmexit_show_segment(&vm_state.ds, "ds"); vmx_vmexit_show_segment(&vm_state.es, "es"); vmx_vmexit_show_segment(&vm_state.fs, "fs"); vmx_vmexit_show_segment(&vm_state.gs, "gs"); vmx_vmexit_show_segment(&vm_state.tr, "tr"); }