typedef unsigned long intpte_t;
#define PRIpte "08lx"
+unsigned int l1_table_offset(unsigned long linear);
+unsigned int l2_table_offset(unsigned long linear);
+unsigned int l3_table_offset(unsigned long linear);
+unsigned int l4_table_offset(unsigned long linear);
+
#endif
#ifdef CONFIG_HVM
#else /* CONFIG_PAGING_LEVELS > 0 */
/* Enough compatibility to compile in unpaged environments. */
-extern paddr_t pte_to_paddr(intpte_t pte);
-extern intpte_t pte_from_paddr(paddr_t paddr, uint64_t flags);
-extern intpte_t pte_from_gfn(unsigned long gfn, uint64_t flags);
-extern intpte_t pte_from_virt(const void *va, uint64_t flags);
+paddr_t pte_to_paddr(intpte_t pte);
+intpte_t pte_from_paddr(paddr_t paddr, uint64_t flags);
+intpte_t pte_from_gfn(unsigned long gfn, uint64_t flags);
+intpte_t pte_from_virt(const void *va, uint64_t flags);
#endif