mmu_extract       112 sys/include/hal.h paddr_t	  mmu_extract(pgd_t, vaddr_t, size_t);
mmu_extract       736 sys/mem/vm.c   	return mmu_extract(curtask->map->pgd, addr, size);