KLOAD
pc = (vaddr_t)KLOAD(f64->fr_pc);
frame = KLOAD(f64->fr_fp);
(*pr)("%lx, ", (long)KLOAD(f64->fr_arg[i]));
(*pr)("%lx) at ", (long)KLOAD(f64->fr_arg[i]));
pc = (vaddr_t)KLOAD(f64->fr_pc);
frame = KLOAD(f64->fr_fp);