/* Initializes paging for the system address space */ void init_mm() { init_table_pages(); init_frames(); init_dir_pages(); set_cr3(get_DIR(&task[0].task)); set_pe_flag(); }
/* Initializes paging for the system address space */ void init_mm() { init_table_pages(); init_frames(); init_dir_pages(); init_heap_structs(); allocate_DIR(&task[0].task); set_cr3(get_DIR(&task[0].task)); set_pe_flag(); }
/* Initializes paging for the system address space */ void init_mm() { int i; init_table_pages(); init_frames(); init_dir_pages(); for (i = 0; i < NR_TASKS; ++i){ vdir[i] = 0; } allocate_DIR(&task[0].task); set_cr3(get_DIR(&task[0].task)); set_pe_flag(); }