Symbol: PIC32_SDEV_NAME