gdbstub: Introduce gdb_get_float32() to get 32-bit float registers

Since we now use a GByteArray, we can not use stfl_p() directly.
Introduce the gdb_get_float32() helper to load a float32 register.

Fixes: a010bdbe719 ("extend GByteArray to read register helpers")
Signed-off-by: Philippe Mathieu-Daudé <>
Signed-off-by: Alex Bennée <>
Reviewed-by: Richard Henderson <>
Message-Id: <>
Message-Id: <>
2 files changed