void debuggerRegisters(int, char **)
static void debuggerRegisters(int, char **)
void debuggerRegisters(int, char **){  char *command[3];  char buffer[10];  printf("R00=%08x R04=%08x R08=%08x R12=%08x\n",         reg[0].I, reg[4].I, reg[8].I, reg[12].I);  printf("R01=%08x R05=%08x R09=%08x R13=%08x\n",         reg[1].I, reg[5].I, reg[9].I, reg[13].I);  printf("R02=%08x R06=%08x R10=%08x R14=%08x\n",         reg[2].I, reg[6].I, reg[10].I, reg[14].I);  printf("R03=%08x R07=%08x R11=%08x R15=%08x\n",         reg[3].I, reg[7].I, reg[11].I, reg[15].I);  printf("CPSR=%08x (%c%c%c%c%c%c%c Mode: %02x)\n",         reg[16].I,         (N_FLAG ? 'N' : '.'),         (Z_FLAG ? 'Z' : '.'),         (C_FLAG ? 'C' : '.'),         (V_FLAG ? 'V' : '.'),         (armIrqEnable ? '.' : 'I'),         ((!(reg[16].I & 0x40)) ? '.' : 'F'),         (armState ? '.' : 'T'),         armMode);  sprintf(buffer,"%08x", armState ? reg[15].I - 4 : reg[15].I - 2);  command[0]="m";  command[1]=buffer;  command[2]="1";  debuggerDisassemble(3, command);}