Symbol: force_pte_mapping