void platform_isr(int vect_id, void *data) {
hil_isr(((struct proc_vring *) data));
}
void _ipi_handler (unsigned long ipi_base_addr, unsigned int intr_mask, void *data) {
struct proc_vring *vring_hw = (struct proc_vring *) data;
platform_dcache_all_flush();
hil_isr(vring_hw);
}
/* callback function that will execute in the context of the FreeRTOS daemon task */
static void deferred_platform_isr( void *param1, uint32_t param2 )
{
(void)param2;
hil_isr(((struct proc_vring *)param1));
}
void platform_isr(int vect_id, void *data,unsigned int intr_status) {
hil_isr(((struct proc_vring *) data));
}
