diff --git a/include/sys/_pmap.h b/include/sys/_pmap.h
index 4572872b0..c130b16bd 100644
--- a/include/sys/_pmap.h
+++ b/include/sys/_pmap.h
@@ -68,7 +68,6 @@ extern paddr_t dmap_paddr_end;
 static inline bool pde_valid_p(pde_t *pdep);
 paddr_t pde_alloc(pmap_t *pmap);
 pde_t pde_make(int lvl, paddr_t pa);
-static inline pde_t *pde_ptr(paddr_t pd, int lvl, vaddr_t va);
 
 static __no_profile inline pde_t *pde_ptr_idx(paddr_t pd_pa, size_t index) {
   pde_t *pde = phys_to_dmap(pd_pa);