Symbol: dmar_map_cookie