Index: sys/arm64/arm64/pmap.c
===================================================================
--- sys/arm64/arm64/pmap.c
+++ sys/arm64/arm64/pmap.c
@@ -164,6 +164,9 @@
 #else
 #define PMAP_INLINE
 #endif
+PMAP_INLINE void pmap_invalidate_page(pmap_t, vm_offset_t);
+PMAP_INLINE void pmap_invalidate_range(pmap_t, vm_offset_t, vm_offset_t);
+PMAP_INLINE void pmap_invalidate_all(pmap_t);
 
 /*
  * These are configured by the mair_el1 register. This is set up in locore.S