Give kgdb(1) a chance to take a look at FPU state.

This commit is contained in:
Jung-uk Kim 2010-08-02 17:40:25 +00:00
parent a2d2c83668
commit 03b2888ea1
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=210778

View File

@ -66,6 +66,7 @@ kgdb_trgt_fetch_registers(int regno __unused)
supply_register(AMD64_R8_REGNUM + 6, (char *)&pcb.pcb_r14);
supply_register(AMD64_R15_REGNUM, (char *)&pcb.pcb_r15);
supply_register(AMD64_RIP_REGNUM, (char *)&pcb.pcb_rip);
amd64_supply_fxsave(current_regcache, -1, &pcb.pcb_user_save);
}
void