Symbol: mach_daddr_t