cb_mapin
cb_mapin(dst_virt, ADDR_TO_PN(dst_phys),
cb_mapin(sfile.buf, sfile.low_ppn,
extern void cb_mapin(caddr_t, pfn_t, uint_t, uint_t, uint_t);
cb_mapin(vaddr, src_ppn, TTE8K, 0, dtlb_index);
cb_mapin(vaddr, dst_ppn, TTE8K, TTE_HWWR_INT, dtlb_index);
cb_mapin((caddr_t)CB_DST_VIRT, cterm.pfn,