diff options
Diffstat (limited to 'hw/exynos4210_gic.c')
| -rw-r--r-- | hw/exynos4210_gic.c | 6 |
1 files changed, 0 insertions, 6 deletions
diff --git a/hw/exynos4210_gic.c b/hw/exynos4210_gic.c index 426f540174..ff7ab848e5 100644 --- a/hw/exynos4210_gic.c +++ b/hw/exynos4210_gic.c @@ -262,12 +262,6 @@ uint32_t exynos4210_get_irq(uint32_t grp, uint32_t bit) /********* GIC part *********/ -static inline int -gic_get_current_cpu(void) -{ - return cpu_single_env->cpu_index; -} - #include "arm_gic.c" typedef struct { |