Symbol: wmi_cmd_hdr_get_if_idx