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) { }