Symbol: PTED_VA_MANAGED_M