/* Get the 4 bits ECC syndrome register value.  */
int32_t EXMC_NFC_GetSyndrome(uint32_t u32Section, uint16_t au16Synd[], uint8_t u8Len)
/* Get the 4 bits ECC syndrome register value.  */
int32_t EXMC_NFC_GetSyndrome(uint32_t u32Section, uint16_t au16Synd[], uint8_t u8Len)
{
    uint32_t u32Status;
    DDL_ASSERT(IS_EXMC_NFC_BANK(u32Bank));
    WRITE_REG32(CM_NFC->CMDR, CMD_READ_STATUS(u32Bank));
    u32Status = READ_REG32(CM_NFC->DATR_BASE);
    EXMC_NFC_DeselectChip();
    return u32Status;
}