KVM_GET_MSRS
case KVM_GET_MSRS:
case KVM_GET_MSRS: {
int r = __vcpu_ioctl(vcpu, KVM_GET_MSRS, msrs);
r = __kvm_ioctl(kvm_fd, KVM_GET_MSRS, &buffer.header);
TEST_ASSERT(r == 1, KVM_IOCTL_ERROR(KVM_GET_MSRS, r));