NVMM_VCPU_CONF_MD
op = NVMM_VCPU_CONF_MD(args->op);
case NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_CPUID):
case NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_XCR0_MASK):
[NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_CPUID)] =
[NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_TPR)] =
[NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_XCR0_MASK)] =
case NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_CPUID):
case NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_TPR):
case NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_XCR0_MASK):
[NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_CPUID)] =
[NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_TPR)] =
[NVMM_VCPU_CONF_MD(NVMM_VCPU_CONF_XCR0_MASK)] =