Lines Matching refs:addr64_t
118 extern void bcopy_phys(addr64_t from, addr64_t to, vm_size_t bytes);
120 extern ppnum_t pmap_find_phys(pmap_t pmap, addr64_t va);
212 addr64_t mdata; in mdevrw()
224 mdata = ((addr64_t)mdev[devid].mdBase << 12) + uio->uio_offset; /* Point to the area in "file" */ in mdevrw()
254 addr64_t paddr, fvaddr; in mdevstrategy()
305 …pp = pmap_find_phys(kernel_pmap, (addr64_t)((uintptr_t)vaddr)); /* Get the sink physical address */ in mdevstrategy()
307 panic("mdevstrategy: sink address %016llX not mapped", (addr64_t)((uintptr_t)vaddr)); in mdevstrategy()
309 paddr = (addr64_t)(((addr64_t)pp << 12) | (addr64_t)(vaddr & 4095)); /* Get actual address */ in mdevstrategy()
328 …pp = pmap_find_phys(kernel_pmap, (addr64_t)((uintptr_t)vaddr)); /* Get the source physical address… in mdevstrategy()
330 panic("mdevstrategy: source address %016llX not mapped", (addr64_t)((uintptr_t)vaddr)); in mdevstrategy()
332 paddr = (addr64_t)(((addr64_t)pp << 12) | (addr64_t)(vaddr & 4095)); /* Get actual address */ in mdevstrategy()