Symbol: PT_MAX_VA_ADDRESS_LG2