Symbol: pte_val_ma