Why: typedef unsigned int OS_STK;

Hi, As we know, NiosII is 32-bit processor and integrate uc/os with it. I find the the OS_STK is defined as 16-bit data struct. But in practice, the operation relating to stack always...