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