(const struct ravenscar_reg_info *reg_info,
struct regcache *regcache, int regnum)
{
(const struct ravenscar_reg_info *reg_info,
struct regcache *regcache, int regnum)
{
const int num_regs = gdbarch_num_regs (gdbarch);
int current_regnum;
CORE_ADDR current_address;
CORE_ADDR thread_descriptor_address;
/* The tid is the thread_id field, which is a pointer to the thread. */
const int num_regs = gdbarch_num_regs (gdbarch);
int current_regnum;
CORE_ADDR current_address;
CORE_ADDR thread_descriptor_address;
/* The tid is the thread_id field, which is a pointer to the thread. */
(const struct ravenscar_reg_info *reg_info,
struct regcache *regcache, int regnum)
{
(const struct ravenscar_reg_info *reg_info,
struct regcache *regcache, int regnum)
{
ULONGEST register_address;
if (register_in_thread_descriptor_p (reg_info, regnum))
register_address
ULONGEST register_address;
if (register_in_thread_descriptor_p (reg_info, regnum))
register_address