REDIST_REGION_ATTR_ADDR
addr = REDIST_REGION_ATTR_ADDR(NR_VCPUS, 0x100000, 0, 0);
addr = REDIST_REGION_ATTR_ADDR(NR_VCPUS, 0x100000, 2, 0);
addr = REDIST_REGION_ATTR_ADDR(0, 0x100000, 0, 0);
addr = REDIST_REGION_ATTR_ADDR(2, 0x200000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(2, 0x201000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(2, 0x200000, 0, 0);
addr = REDIST_REGION_ATTR_ADDR(2, 0x200000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(1, 0x210000, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(1, 0x240000, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(1, 0x240000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(1, max_phys_size, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(2, max_phys_size - 0x30000, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(0, 0, 0, 0);
expected_addr = REDIST_REGION_ATTR_ADDR(2, 0x200000, 0, 0);
addr = REDIST_REGION_ATTR_ADDR(0, 0, 0, 1);
expected_addr = REDIST_REGION_ATTR_ADDR(1, 0x240000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(0, 0, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(1, 0x260000, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(1, 0x280000, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(1, 0x280000, 0, 2);
addr = REDIST_REGION_ATTR_ADDR(2, 0x200000, 0, 0);
addr = REDIST_REGION_ATTR_ADDR(10, 0x100000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(10, 0x20000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(2, 0x100000, 0, 0);
addr = REDIST_REGION_ATTR_ADDR(2, 0x240000, 0, 1);
addr = REDIST_REGION_ATTR_ADDR(2, 0x200000, 0, 2);
attr = REDIST_REGION_ATTR_ADDR(nr_vcpus, GICR_BASE_GPA, 0, 0);