Symbol: wmi_pdev_tpc_config_event