Change mach_addr to mach_base in AddrTransTable for clarity.