diff options
Diffstat (limited to 'include/drivers/arm/gicv2.h')
| -rw-r--r-- | include/drivers/arm/gicv2.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/include/drivers/arm/gicv2.h b/include/drivers/arm/gicv2.h index 6d224c3fb..bc2822ee1 100644 --- a/include/drivers/arm/gicv2.h +++ b/include/drivers/arm/gicv2.h @@ -172,6 +172,8 @@ 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); +void gicv2_set_interrupt_pending(unsigned int id); +void gicv2_clear_interrupt_pending(unsigned int id); #endif /* __ASSEMBLY__ */ #endif /* __GICV2_H__ */ |