diff --git a/repos/base-hw/src/include/hw/spec/arm/pl310.h b/repos/base-hw/src/include/hw/spec/arm/pl310.h
index 4f9d22f63b..38b8769388 100644
--- a/repos/base-hw/src/include/hw/spec/arm/pl310.h
+++ b/repos/base-hw/src/include/hw/spec/arm/pl310.h
@@ -95,8 +95,9 @@ class Hw::Pl310 : public Genode::Mmio
 
 		struct Prefetch_ctrl : Register<0xf60, 32>
 		{
-			struct Data_prefetch : Bitfield<28,1> { };
-			struct Inst_prefetch : Bitfield<29,1> { };
+			struct Data_prefetch   : Bitfield<28,1> { };
+			struct Inst_prefetch   : Bitfield<29,1> { };
+			struct Double_linefill : Bitfield<30,1> { };
 		};
 
 		void _sync() { while (read<Cache_sync>()) ; }