/* This is an API between the MCU model/IRQ handling side and the IRQ controller model  */
void hw_irq_ctrl_clear_irq(unsigned int irq)
/* This is an API between the MCU model/IRQ handling side and the IRQ controller model  */
void hw_irq_ctrl_clear_irq(unsigned int irq)
{
	irq_status  &= ~((uint64_t)1<<irq);
	irq_premask &= ~((uint64_t)1<<irq);
}