# Symbols that are unused as KPI, but must be globally exported
_arm64_root_pgtable_level
_arm64_root_pgtable_num_ttes
_arm_hardware_page_size