pci-gart_64.c: could we get better explanation?