Symbol: guest_domain_mapping_info