diff --git a/arch/aarch64/mmu.cc b/arch/aarch64/mmu.cc
index bf621950a3d87fa13f1340a1509872e415a4b8c4..0d02e86061491ab95045a0e32bb5e4cfa457d265 100644
--- a/arch/aarch64/mmu.cc
+++ b/arch/aarch64/mmu.cc
@@ -74,4 +74,3 @@ bool is_page_fault_write_exclusive(unsigned int esr) {
 }
 
 }
-#include <osv/prio.hh>