pmap_copyinsn
int pmap_copyinsn(pmap_t, vaddr_t, uint32_t *);
if (pmap_copyinsn(map->pmap, uva, insn))
int pmap_copyinsn(pmap_t, vaddr_t, uint32_t *);
if (pmap_copyinsn(map->pmap, uva, (uint32_t *)insn) == 0)
int pmap_copyinsn(pmap_t, vaddr_t, uint32_t *);
if (pmap_copyinsn(map->pmap, uva, (uint32_t *)insn) == 0)