Symbol: TTARGET_VA_SHIFT