On Mon, Oct 26, 2009 at 8:32 AM, <juha.riihim...@nokia.com> wrote: [...] >> >> Shouldn't writes to FPEXC from gdb be protected in the same >> way? Except for that I agree with your patch. > > Please correct me if I'm wrong but it seems to me that the code in > gdbstub.c never writes anything to the VFP registers, at least it > seems to me the code in cpu_gdb_write_register and > cpu_gdb_read_register ignore floating point registers.
There's code in helper.c that implements writes to coprocessor registers. Look for vfp_gdb_set_reg which is registered by cpu_arm_init. Laurent