ASUS_WMI_DEVID_GPU_MUX_VIVO
else if (armoury_has_devstate(ASUS_WMI_DEVID_GPU_MUX_VIVO))
asus_armoury.gpu_mux_dev_id = ASUS_WMI_DEVID_GPU_MUX_VIVO;
else if (asus_wmi_dev_is_present(asus, ASUS_WMI_DEVID_GPU_MUX_VIVO))
asus->gpu_mux_dev = ASUS_WMI_DEVID_GPU_MUX_VIVO;