diff options
Diffstat (limited to 'hw/a15mpcore.c')
| -rw-r--r-- | hw/a15mpcore.c | 8 |
1 files changed, 0 insertions, 8 deletions
diff --git a/hw/a15mpcore.c b/hw/a15mpcore.c index 67206ec870..2e2ed423da 100644 --- a/hw/a15mpcore.c +++ b/hw/a15mpcore.c @@ -20,14 +20,6 @@ #include "sysbus.h" -/* Configuration for arm_gic.c: - * how to ID current CPU - */ -static inline int gic_get_current_cpu(void) -{ - return cpu_single_env->cpu_index; -} - #include "arm_gic.c" /* A15MP private memory region. */ |