void minios_stop_kernel(void)
{
/* TODO: fs import */
local_irq_disable();
/* Reset grant tables */
fini_gnttab();
/* Reset XenBus */
fini_xenbus();
/* Reset timers */
fini_time();
/* Reset memory management. */
fini_mm();
/* Reset events. */
fini_events();
/* Reset traps */
trap_fini();
/* Reset arch details */
arch_fini();
}
void stop_kernel(void)
{
local_irq_disable();
/* Reset timers */
fini_time();
/* Reset memory management. */
fini_mm();
/* Reset traps */
trap_fini();
/* Reset arch details */
arch_fini();
}