Ejemplo n.º 1
0
void vmx_vmexit_failure()
{
   vmx_vmexit_show();
#ifdef CONFIG_GDBSTUB
   while(1) gdbstub();
#else
   lock_vmm();
#endif
}
Ejemplo n.º 2
0
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();
}