diff options
Diffstat (limited to 'src/include/gic.h')
| -rw-r--r-- | src/include/gic.h | 40 |
1 files changed, 40 insertions, 0 deletions
diff --git a/src/include/gic.h b/src/include/gic.h new file mode 100644 index 0000000000..22c5631473 --- /dev/null +++ b/src/include/gic.h @@ -0,0 +1,40 @@ +/* + * This file is part of the coreboot project. + * + * Copyright (C) 2014 Google Inc + * + * This program is free software; you can redistribute it and/or modify + * it under the terms of the GNU General Public License as published by + * the Free Software Foundation; version 2 of the License. + * + * This program is distributed in the hope that it will be useful, + * but WITHOUT ANY WARRANTY; without even the implied warranty of + * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the + * GNU General Public License for more details. + * + * You should have received a copy of the GNU General Public License + * along with this program; if not, write to the Free Software + * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA + */ + +#ifndef GIC_H +#define GIC_H + +#if IS_ENABLED(CONFIG_GIC) + +/* Initialize the GIC on the currently processor, including GICD and GICC. */ +void gic_init(void); + +/* Return a pointer to the base of the GIC distributor mmio region. */ +void *gicd_base(void); + +/* Return a pointer to the base of the GIC cpu mmio region. */ +void *gicc_base(void); + +#else /* CONFIG_GIC */ + +static inline void gic_init(void) {} + +#endif /* CONFIG_GIC */ + +#endif /* GIC_H */ |