GITS_BASER_ADDR_48_to_52
l1_gpa = GITS_BASER_ADDR_48_to_52(baser);
gpa_t gpa = GITS_BASER_ADDR_48_to_52(baser);
gpa = GITS_BASER_ADDR_48_to_52(baser);
phys_addr_t base = GITS_BASER_ADDR_48_to_52(baser);
addr = GITS_BASER_ADDR_48_to_52(baser);