rem: static void mmu_map_page(unsigned int vaddr, unsigned int paddr)
add: mmu_map_page(unsigned int vaddr, unsigned int paddr)
context: static void mmu_map_page(unsigned int vaddr, unsigned int paddr){//	dprintf("mmu_map_page: vaddr 0x%x, paddr 0x%x\n", vaddr, paddr);	if(vaddr < KERNEL_BASE || vaddr >= (KERNEL_BASE + 4096*1024)) {		dprintf("mmu_map_page: asked to map invalid page!\n");		for(;;);	}	paddr &= ~(PAGE_SIZE-1);//	dprintf("paddr 0x%x @ index %d\n", paddr, (vaddr % (PAGE_SIZE * 1024)) / PAGE_SIZE);	pgtable[(vaddr % (PAGE_SIZE * 1024)) / PAGE_SIZE] = paddr | DEFAULT_PAGE_FLAGS;}