ac_mapin
ac_mapin(current_pa, base_va);
ac_mapin(page_pa, test->va);
extern void ac_mapin(uint64_t, caddr_t);