Symbol: wmi_port_delete