../../../ia32/src/mm/memory_init.c