1# Symbols that are unused as KPI, but must be globally exported 2_arm64_root_pgtable_level 3_arm64_root_pgtable_num_ttes 4_arm_hardware_page_size 5