ptokv              46 bsp/boot/arm/arch/elf_reloc.c 		*where += (vaddr_t)ptokv(sym_val);
ptokv              75 bsp/boot/common/elf.c 		load_base = (vaddr_t)ptokv(phdr->p_paddr);
ptokv             302 bsp/boot/common/elf.c 				m->text = (vaddr_t)ptokv(load_base);
ptokv             307 bsp/boot/common/elf.c 					m->data = (vaddr_t)ptokv(load_base +
ptokv             351 bsp/boot/common/elf.c 	m->datasz = (size_t)((char *)ptokv(bss_base) - m->data);
ptokv             358 bsp/boot/common/elf.c 	m->entry = (vaddr_t)ptokv(ehdr->e_entry + m->phys);
ptokv              45 bsp/boot/x86/arch/elf_reloc.c 		*where += (vaddr_t)ptokv(sym_val);
ptokv             168 bsp/drv/dev/block/ramdisk.c 	sc->addr = (char *)ptokv(phys->base);
ptokv             277 bsp/drv/dev/dma/i8237.c 	return ptokv(base);
ptokv             247 bsp/drv/dev/video/vga.c 	sc->vram = ptokv(VID_RAM);
ptokv             162 bsp/hal/arm/arch/mmu.c 			pte = (pte_t)ptokv(pg);
ptokv             194 bsp/hal/arm/arch/mmu.c 	pgd = (pgd_t)ptokv(pg);
ptokv              70 bsp/hal/arm/include/mmu.h             (pte_t)ptokv((pgd)[PAGE_DIR(virt)] & PDE_ADDRESS)
ptokv             179 bsp/hal/arm/integrator/machdep.c 	vector_copy((vaddr_t)ptokv(CONFIG_ARM_VECTORS));
ptokv             134 bsp/hal/x86/arch/mmu.c 			pte = (pte_t)ptokv(pg);
ptokv             167 bsp/hal/x86/arch/mmu.c 	pgd = (pgd_t)ptokv(pg);
ptokv              75 bsp/hal/x86/include/mmu.h             (pte_t)ptokv(((uint32_t *)pgd)[PAGE_DIR(virt)] & PDE_ADDRESS)
ptokv             131 bsp/hal/x86/pc/diag.c 	vram = ptokv(VID_RAM);
ptokv             210 sys/mem/kmem.c 		pg = ptokv(pa);
ptokv             321 sys/mem/kmem.c 	return ptokv(pa);
ptokv             139 sys/mem/page.c 	blk = ptokv(paddr);
ptokv             191 sys/mem/page.c 	start = trunc_page((vaddr_t)ptokv(paddr));
ptokv             192 sys/mem/page.c 	end = round_page((vaddr_t)ptokv(paddr + psize));
ptokv             159 sys/mem/vm.c   	memset(ptokv(pa), 0, seg->size);
ptokv             326 sys/mem/vm.c   		memcpy(ptokv(new_pa), ptokv(old_pa), seg->size);
ptokv             608 sys/mem/vm.c   				memcpy(ptokv(dest->phys), ptokv(src->phys),
ptokv             688 sys/mem/vm.c   	src = ptokv(mod->phys);