TWIFI_STATS

type TWIFI_STATS = (

  WSTAT_RXQUEUEDPACKETS,

  WSTAT_TXQUEUEDPACKETS,

  WSTAT_RXQUEUEDBYTES,

  WSTAT_TXQUEUEDBYTES,

  WSTAT_RXQUEUEDLOST,

  WSTAT_TXQUEUEDREJECTED,

  WSTAT_RXPACKETS,

  WSTAT_RXBYTES,

  WSTAT_RXDATABYTES,

  WSTAT_TXPACKETS,

  WSTAT_TXBYTES,

  WSTAT_TXDATABYTES,

  WSTAT_ARM7_UPDATES,

  WSTAT_DEBUG,

  WSTAT_HW_1B0,

  WSTAT_HW_1B1,

  WSTAT_HW_1B2,

  WSTAT_HW_1B3,

  WSTAT_HW_1B4,

  WSTAT_HW_1B5,

  WSTAT_HW_1B6,

  WSTAT_HW_1B7,

  WSTAT_HW_1B8,

  WSTAT_HW_1B9,

  WSTAT_HW_1BA,

  WSTAT_HW_1BB,

  WSTAT_HW_1BC,

  WSTAT_HW_1BD,

  WSTAT_HW_1BE,

  WSTAT_HW_1BF,

  WSTAT_HW_1C0,

  WSTAT_HW_1C1,

  WSTAT_HW_1C4,

  WSTAT_HW_1C5,

  WSTAT_HW_1D0,

  WSTAT_HW_1D1,

  WSTAT_HW_1D2,

  WSTAT_HW_1D3,

  WSTAT_HW_1D4,

  WSTAT_HW_1D5,

  WSTAT_HW_1D6,

  WSTAT_HW_1D7,

  WSTAT_HW_1D8,

  WSTAT_HW_1D9,

  WSTAT_HW_1DA,

  WSTAT_HW_1DB,

  WSTAT_HW_1DC,

  WSTAT_HW_1DD,

  WSTAT_HW_1DE,

  WSTAT_HW_1DF,

  NUM_WIFI_STATS

);