HATSTACKSIZE
unsigned char hatStack[HATSTACKSIZE];
hatStack + HATSTACKSIZE - sizeof(unsigned),
hatStack + HATSTACKSIZE - sizeof(unsigned),
static unsigned char hatStack[HATSTACKSIZE]; /* actual stack used
hatStack + HATSTACKSIZE - sizeof(unsigned),
static unsigned char hatStack[HATSTACKSIZE]; /* actual stack used during a FIQ */