Symbol: wmi_set_regdomain_cmd