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 be 32-bit.

typedef unsigned int OS_STK; /* Each stack entry is 16-bit wide*/

Could anyone tell me why?

Wish all a best christmas,

David