kdbpeek
bool kdbpeek(vaddr_t, unsigned *);
if (!kdbpeek(pc - 2 * sizeof(unsigned), &instr))
if (!kdbpeek(va, &instr))