/* Execute FMC_ISPCMD_READ command to read a word from flash.  */
uint32_t FMC_Read(uint32_t u32Addr)
/* Execute FMC_ISPCMD_READ command to read a word from flash.  */
uint32_t FMC_Read(uint32_t u32Addr)
{
    FMC->ISPCMD = FMC_ISPCMD_READ;
    FMC->ISPADDR = u32Addr;
    FMC->ISPTRG = FMC_ISPTRG_ISPGO_Msk;
    while (FMC->ISPTRG & FMC_ISPTRG_ISPGO_Msk) { }
    return FMC->ISPDAT;
}