Symbol: drmach_domain_info_t