Symbol: PTED_VA_PTEGIDX_M