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 c91cc1b0..2b461263 100644 --- a/include/drivers/arm/gicv2.h +++ b/include/drivers/arm/gicv2.h @@ -147,6 +147,7 @@ void gicv2_end_of_interrupt(unsigned int id); unsigned int gicv2_get_interrupt_group(unsigned int id); unsigned int gicv2_get_running_priority(void); void gicv2_set_pe_target_mask(unsigned int proc_num); +unsigned int gicv2_get_interrupt_active(unsigned int id); #endif /* __ASSEMBLY__ */ #endif /* __GICV2_H__ */ |