/* Reads the device ID of the IO expander.  */
uint32_t BOARD_picGetDeviceId(void)
/* Reads the device ID of the IO expander.  */
uint32_t BOARD_picGetDeviceId(void)
{
   uint32_t result;
   uint8_t *pU8;
   pU8 = (uint8_t *) &result;
   BOARD_picReadReg( BOARD_PIC_REG_DEVICE_ID0, pU8++ );
   BOARD_picReadReg( BOARD_PIC_REG_DEVICE_ID1, pU8++ );
   BOARD_picReadReg( BOARD_PIC_REG_DEVICE_ID2, pU8++ );
   BOARD_picReadReg( BOARD_PIC_REG_DEVICE_ID3, pU8++ );
   return result;
}