From 61572263d72f7c221c18cce78a0581544fa73b09 Mon Sep 17 00:00:00 2001 From: Adrian-Ken Rueegsegger Date: Tue, 10 May 2016 23:13:08 +0200 Subject: [PATCH] hw_x86_64: Drop unneded Pic dummy functions --- repos/base-hw/src/core/include/spec/x86/pic.h | 1 - repos/base-hw/src/core/include/spec/x86_64/muen/pic.h | 2 -- 2 files changed, 3 deletions(-) diff --git a/repos/base-hw/src/core/include/spec/x86/pic.h b/repos/base-hw/src/core/include/spec/x86/pic.h index 14b3ea42c2..b42c663222 100644 --- a/repos/base-hw/src/core/include/spec/x86/pic.h +++ b/repos/base-hw/src/core/include/spec/x86/pic.h @@ -273,7 +273,6 @@ class Genode::Pic : public Mmio * Dummies */ - void mask() { } bool is_ip_interrupt(unsigned, unsigned) { return false; } void trigger_ip_interrupt(unsigned) { } }; diff --git a/repos/base-hw/src/core/include/spec/x86_64/muen/pic.h b/repos/base-hw/src/core/include/spec/x86_64/muen/pic.h index c0b172195d..fb41a100c6 100644 --- a/repos/base-hw/src/core/include/spec/x86_64/muen/pic.h +++ b/repos/base-hw/src/core/include/spec/x86_64/muen/pic.h @@ -60,8 +60,6 @@ class Genode::Pic void finish_request() { } void unmask(unsigned const i, unsigned) { } void mask(unsigned const i) { } - void mask() { } - void init_cpu_local() { } bool is_ip_interrupt(unsigned, unsigned) { return false; } void trigger_ip_interrupt(unsigned) { }