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