Symbol: wmi_sync_flag