Please instead add a "case" to vmx_set_msr: OK, it seems the passthrough setup is preferred in vmx.c. Do we also want a case in vmx_get_msr (for patch 11), even though no specific handling there?
Please instead add a "case" to vmx_set_msr: