Symbol: arch_vmap_pte_range_map_size