/* check EXMC interrupt flag is set or not  */
FlagStatus exmc_interrupt_flag_get(uint32_t bank, uint32_t interrupt_source)
/* check EXMC interrupt flag is set or not  */
FlagStatus exmc_interrupt_flag_get(uint32_t bank, uint32_t interrupt_source)
{
    uint32_t status = 0x00000000U, interrupt_enable = 0x00000000U, interrupt_state = 0x00000000U;
    if((EXMC_BANK1_NAND == bank) || (EXMC_BANK2_NAND == bank) || (EXMC_BANK3_PCCARD == bank)){
        status = EXMC_NPINTEN(bank);
        interrupt_state = (status & (interrupt_source >> INTEN_INTS_OFFSET));
    }else{
        status = EXMC_SDARI;
        interrupt_state = (EXMC_SDSTAT & EXMC_SDSDAT_REIF);
    }
    interrupt_enable = (status & interrupt_source);
    if ((interrupt_enable) && (interrupt_state)){
        return SET;
    }else{
        return RESET;
    }
}