mmVML2VC0_VM_CONTEXT0_PAGE_TABLE_BASE_ADDR_HI32
mmVML2VC0_VM_CONTEXT0_PAGE_TABLE_BASE_ADDR_HI32) +
mmVML2VC0_VM_CONTEXT0_PAGE_TABLE_BASE_ADDR_HI32,