kvtop              42 bsp/boot/common/bootinfo.c struct bootinfo *const bootinfo = (struct bootinfo *)kvtop(BOOTINFO);
kvtop             357 bsp/boot/common/elf.c 	m->size = (size_t)(load_base - kvtop(m->text));
kvtop              76 bsp/boot/common/load.c 	magic = (char *)kvtop(CONFIG_BOOTIMG_BASE);
kvtop              88 bsp/boot/common/main.c 	entry = (entry_t)kvtop(bootinfo->kernel.entry);
kvtop             199 bsp/drv/dev/dma/i8237.c 	paddr = kvtop(addr);
kvtop             225 bsp/hal/arm/arch/mmu.c 	page_free(kvtop(pgd), L1TBL_SIZE);
kvtop             238 bsp/hal/arm/arch/mmu.c 	paddr_t phys = kvtop(pgd);
kvtop             283 bsp/hal/arm/arch/mmu.c 	boot_pgd[PAGE_DIR(virt)] = (uint32_t)kvtop(pte) | PDE_PRESENT;
kvtop             174 bsp/hal/arm/integrator/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
kvtop             152 bsp/hal/ppc/prep/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
kvtop             195 bsp/hal/x86/arch/mmu.c 	page_free(kvtop(pgd), PAGE_SIZE);
kvtop             208 bsp/hal/x86/arch/mmu.c 	uint32_t phys = (uint32_t)kvtop(pgd);
kvtop             157 bsp/hal/x86/pc/machdep.c 	page_reserve(kvtop(SYSPAGE), SYSPAGESZ);
kvtop             304 sys/mem/kmem.c 		page_free(kvtop(pg), PAGE_SIZE);
kvtop             118 sys/mem/page.c 	return kvtop(blk);