void vmx_vmexit_show() { vmx_vmcs_collect(); if(vmx_vmexit_show_exit()) vmx_vmexit_show_detail(); show_vmm_mem_map(); vmx_vmexit_show_cap_fix(); }
void vmx_vmexit_show() { vmx_vmcs_collect(); if(vmx_vmexit_show_exit()) vmx_vmexit_show_detail(); printf("\n <----------------- VMX Features ---------------->\n"); show_vmm_mem_map(); vmx_vmexit_show_cap_fix(); }
static void vmx_vmexit_show_all() { vmx_vmcs_collect(); vmx_vmexit_show_info(); vmx_vmexit_show_insn(); vmx_vmexit_show_gpr(); vmx_vmexit_show_cr(); vmx_vmexit_show_segments(); vmx_vmexit_show_event(); vmx_vmexit_show_deliver(); }