copyin32
#define copyinsn(p, v, ip) copyin32((v), (ip))
if (copyin32((void *)fault_pc, &fault_instruction) != 0) {
#define copyinsn(p, v, ip) copyin32((v), (ip))
#define copyinsn(p, v, ip) copyin32((v), (ip))
if (copyin32((const uint32_t *)addr, &value) != 0)
if (copyin32((const uint32_t *)(addr + 4), &value) != 0)
return copyin32((void *)va, insn);
error = copyin32(abortp, &abort);
if ((error = copyin32(uaddr, &cval)) != 0)
int copyin32(const uint32_t *, uint32_t *);