__attribute__((isr)) void AES_IRQHandler(void) { ck_aes_irqhandler(0); }
ATTRIBUTE_ISR void AES_IRQHandler(void) { CSI_INTRPT_ENTER(); ck_aes_irqhandler(0); CSI_INTRPT_EXIT(); }