void vmx_vmexit_failure() { vmx_vmexit_show(); #ifdef CONFIG_GDBSTUB while(1) gdbstub(); #else lock_vmm(); #endif }
void __panic(const char *fname, const char *format, ...) { va_list params; force_interrupts_off(); stack_trace(); printf("\n\n:: EVIL :: %s() :: ", fname); va_start(params, format); __vprintf(format, params); va_end(params); debug_flush(); lock_vmm(); }