#import "gdb.h"
#import "SegmentManagerThreads.h"
extern RegionManager *regionManager;
extern int current_core_thread;
extern void copy_registers_integer_in(struct hp_pa_integer_thread_state *);
extern void copy_registers_frame_in(struct hp_pa_frame_thread_state *);

void core_get_registers(regnum)
{
  ThreadInfo tInfo;
  SegmentManager *coreManager = (SegmentManager *)regionManager;

  [coreManager threadInfo: &tInfo forThreadNum: current_core_thread];
  copy_registers_integer_in(tInfo.intRegs);
  copy_registers_frame_in(tInfo.frameRegs);
  registers_fetched();
}

