/* Since we are running in single core, the target CPU are always CPU0.  */
void rt_hw_interrupt_trigger(int vector)
/* Since we are running in single core, the target CPU are always CPU0.  */
void rt_hw_interrupt_trigger(int vector)
{
    arm_gic_trigger(0, 1, vector);
}