summaryrefslogtreecommitdiff
path: root/src/include/gic.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/include/gic.h')
-rw-r--r--src/include/gic.h3
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 */