Searched refs:dump_vmcs (Results 1 – 1 of 1) sorted by relevance
7931 static void dump_vmcs(void) in dump_vmcs() function8104 dump_vmcs(); in vmx_handle_exit()