diff options
Diffstat (limited to 'include/drivers/arm/gicv2.h')
| -rw-r--r-- | include/drivers/arm/gicv2.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/drivers/arm/gicv2.h b/include/drivers/arm/gicv2.h index c9bcbb65..6d224c3f 100644 --- a/include/drivers/arm/gicv2.h +++ b/include/drivers/arm/gicv2.h @@ -171,6 +171,7 @@ void gicv2_disable_interrupt(unsigned int id); void gicv2_set_interrupt_priority(unsigned int id, unsigned int priority); void gicv2_set_interrupt_type(unsigned int id, unsigned int type); void gicv2_raise_sgi(int sgi_num, int proc_num); +void gicv2_set_spi_routing(unsigned int id, int proc_num); #endif /* __ASSEMBLY__ */ #endif /* __GICV2_H__ */ |