1*fdd8201dSApple OSS Distributions# Symbols that are unused as KPI, but must be globally exported
2*fdd8201dSApple OSS Distributions_arm64_root_pgtable_level
3*fdd8201dSApple OSS Distributions_arm64_root_pgtable_num_ttes
4*fdd8201dSApple OSS Distributions_arm_hardware_page_size
5