/* Similar to ARM's NVIC_ClearPendingIRQ clear a pending irq from SW  */
void posix_sw_clear_pending_IRQ(unsigned int IRQn)
/* Similar to ARM's NVIC_ClearPendingIRQ clear a pending irq from SW  */
void posix_sw_clear_pending_IRQ(unsigned int IRQn)
{
	hw_irq_ctrl_clear_irq(CONFIG_NATIVE_SIMULATOR_MCU_N, IRQn);
}