#import "gdb.h"
#import "SegmentManagerThreads.h"
extern RegionManager *regionManager;
extern int current_core_thread;
extern void copy_registers_in(i386_thread_state_t *);

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

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

