Symbol: arch_vmap_pte_supported_shift