KVM_SET_MSRS
case KVM_SET_MSRS: {
int r = __vcpu_ioctl(vcpu, KVM_SET_MSRS, msrs);
return __vcpu_ioctl(vcpu, KVM_SET_MSRS, &buffer.header);
TEST_ASSERT(!r || r == 1, KVM_IOCTL_ERROR(KVM_SET_MSRS, r));