Searched refs:vmx_dump_dtsel (Results 1 – 1 of 1) sorted by relevance
5704 static void vmx_dump_dtsel(char *name, uint32_t limit) in vmx_dump_dtsel() function5771 vmx_dump_dtsel("GDTR:", GUEST_GDTR_LIMIT); in dump_vmcs()5773 vmx_dump_dtsel("IDTR:", GUEST_IDTR_LIMIT); in dump_vmcs()
