paddr             195 bsp/drv/dev/dma/i8237.c 	paddr_t paddr;
paddr             199 bsp/drv/dev/dma/i8237.c 	paddr = kvtop(addr);
paddr             202 bsp/drv/dev/dma/i8237.c 	ASSERT(paddr < 0xffffff);
paddr             215 bsp/drv/dev/dma/i8237.c 	bus_write_8(regs->addr, (u_char)((paddr >> 0) & 0xff));	/* Address low */
paddr             216 bsp/drv/dev/dma/i8237.c 	bus_write_8(regs->addr, (u_char)((paddr >> 8) & 0xff));	/* Address high */
paddr             217 bsp/drv/dev/dma/i8237.c 	bus_write_8(regs->page, (u_char)((paddr >> 16) & 0xff));	/* Page address */
paddr             129 sys/mem/page.c page_free(paddr_t paddr, psize_t psize)
paddr             139 sys/mem/page.c 	blk = ptokv(paddr);
paddr             182 sys/mem/page.c page_reserve(paddr_t paddr, psize_t psize)
paddr             191 sys/mem/page.c 	start = trunc_page((vaddr_t)ptokv(paddr));
paddr             192 sys/mem/page.c 	end = round_page((vaddr_t)ptokv(paddr + psize));