[buddace]

typedef unsigned int  UI32;

typedef struct NETX_GPIOtag 
{
  volatile UI32 auiCFG[16];
  volatile UI32 auiTC[16];
  volatile UI32 auiCOUNTER_CONTROL[5];
  volatile UI32 auiCOUNTER_MAX[5];
  volatile UI32 auiCOUNTER_CURRENT[5];
  volatile UI32 uiIRQ_MASK_SET;
  volatile UI32 uiIRQ_MASK_CLR;
  volatile UI32 uiSYSTIME_NS_CMP;
  volatile UI32 uiLINE_OUT;
  volatile UI32 uiLINE_IN;
  volatile UI32 uiIRQ;
} NETX_GPIO;

static NETX_GPIO* s_ptGPIO = (NETX_GPIO*)0x00100800;

Anche questa mi è poco chiara. Credo crei un puntatore ma mi è poco chiaro il meccanismo.