Symbol: wmi_port_allocate