arc_contiguously_wired_mapped
if ((va = arc_contiguously_wired_mapped(pa, size)) != 0 ||
vaddr_t arc_contiguously_wired_mapped(paddr_t, vsize_t);