diff options
Diffstat (limited to 'src/include/gic.h')
| -rw-r--r-- | src/include/gic.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/include/gic.h b/src/include/gic.h index 22c5631473..2514420563 100644 --- a/src/include/gic.h +++ b/src/include/gic.h @@ -24,6 +24,8 @@ /* Initialize the GIC on the currently processor, including GICD and GICC. */ void gic_init(void); +void gic_disable(void); +void gic_enable(void); /* Return a pointer to the base of the GIC distributor mmio region. */ void *gicd_base(void); @@ -34,6 +36,7 @@ void *gicc_base(void); #else /* CONFIG_GIC */ static inline void gic_init(void) {} +static inline void gic_disable(void) {} #endif /* CONFIG_GIC */ |