5459 /tmp/gart_math.c
BUILD_OK
== F1: gart_size=8192MB (8 GiB GTT) -> 32-bit offset truncation ==
radeon_gart_size=8192 passes kernel validation (pot, >=32, no upper bound)     PASS
num_cpu_pages == 2^21 (heap spans > 4GiB of aperture offsets)                  PASS
table_size == 16 MiB (table itself fine - the bug is elsewhere)                PASS
byte offset of start_high is 4 GiB (fits only u64)                             PASS
truncated 32-bit offset of start_high wraps to 0                               PASS
GART entry index computed for both BOs is IDENTICAL (aliasing)                 PASS

== F2: gart_size=2097152MB (2 TiB) -> table_size wrap (DF-2012 twin) ==
radeon_gart_size=2097152 passes kernel validation (pot, >=32, no upper bound)  PASS
num_gpu_pages == 536870912 (0x20000100-would-be; here 2^29)                    PASS
table_size wraps to 0 (2^29 * 8 == 2^32 mod 2^32)                              PASS
x4-asic: num_gpu_pages == 2^30, table_size wraps to 0                          PASS
num_gpu_pages u32 field truncates to 0 at gtt >= 16 TiB                        PASS

ALL CHECKS PASSED (0 failures)