void debuggerBreakThumb(int n, char **args)
static void debuggerBreakThumb(int n, char **args)
void debuggerBreakThumb(int n, char **args){  if(n == 2) {    u32 address = 0;    sscanf(args[1],"%x", &address);    int i = debuggerNumOfBreakpoints;    debuggerBreakpointList[i].address = address;    debuggerBreakpointList[i].value = debuggerReadHalfWord(address);    debuggerBreakpointList[i].size = 0;    //    debuggerApplyBreakpoint(address, i, 0);    debuggerNumOfBreakpoints++;    printf("Added THUMB breakpoint at %08x\n", address);  } else    debuggerUsage("bt");    }