Searched refs:vmx_dump_sel (Results 1 – 1 of 1) sorted by relevance
6078 static void vmx_dump_sel(char *name, uint32_t sel) in vmx_dump_sel() function6156 vmx_dump_sel("CS: ", GUEST_CS_SELECTOR); in dump_vmcs()6157 vmx_dump_sel("DS: ", GUEST_DS_SELECTOR); in dump_vmcs()6158 vmx_dump_sel("SS: ", GUEST_SS_SELECTOR); in dump_vmcs()6159 vmx_dump_sel("ES: ", GUEST_ES_SELECTOR); in dump_vmcs()6160 vmx_dump_sel("FS: ", GUEST_FS_SELECTOR); in dump_vmcs()6161 vmx_dump_sel("GS: ", GUEST_GS_SELECTOR); in dump_vmcs()6163 vmx_dump_sel("LDTR:", GUEST_LDTR_SELECTOR); in dump_vmcs()6165 vmx_dump_sel("TR: ", GUEST_TR_SELECTOR); in dump_vmcs()
