@@ -11,9 +11,7 @@ extern pgd_t *idmap_pgd;
void setup_mm_for_reboot(void);
-#ifdef CONFIG_ARM_VIRT_EXT
void hyp_idmap_teardown(pgd_t *hyp_pgd);
void hyp_idmap_setup(pgd_t *hyp_pgd);
-#endif
#endif /* __ASM_IDMAP_H */
@@ -136,14 +136,12 @@ void hyp_idmap_teardown(pgd_t *hyp_pgd)
hyp_idmap_del_pmd(pgd, addr);
} while (pgd++, addr = next, addr < end);
}
-EXPORT_SYMBOL_GPL(hyp_idmap_teardown);
void hyp_idmap_setup(pgd_t *hyp_pgd)
{
identity_mapping_add(hyp_pgd, __hyp_idmap_text_start,
__hyp_idmap_text_end, PMD_SECT_AP1);
}
-EXPORT_SYMBOL_GPL(hyp_idmap_setup);
#endif
/*