arc_wired_map_extract
if (arc_wired_map_extract(bsh, &pa))
if (arc_wired_map_extract(bsh, pap))
bool arc_wired_map_extract(vaddr_t, paddr_t *);