C++ (Cpp) fini_mm 예제들

예제 #1

파일: kernel.c 프로젝트: gandro/rumprun

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();
}

예제 #2

파일: kernel.c 프로젝트: matthiasgoergens/mirage

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();
}