drivers/vhost/vringh.c:567:18: sparse: sparse: cast to restricted __virtio16

kernel test robot
2023-12-04T00:15:18Z

head: 33cc938e65a98f1d29d0a18403dbbee050dcad9a
commit: d877322bc1adcab9850732275670409e8bcca4c4 openrisc: Fix issue with get_user for 64-bit values
date: 3 years, 3 months ago
config: openrisc-randconfig-r131-20231102 (https://download.01.org/0day-ci/archive/20231204/202312040724.O4m0RXc4-lkp@intel.com/config)
compiler: or1k-linux-gcc (GCC) 13.2.0
reproduce: (https://download.01.org/0day-ci/archive/20231204/202312040724.O4m0RXc4-lkp@intel.com/reproduce)

If you fix the issue in a separate patch/commit (i.e. not just a new version of
the same patch/commit), kindly add following tags
| Reported-by: kernel test robot <lkp@intel.com>
| Closes: https://lore.kernel.org/oe-kbuild-all/202312040724.O4m0RXc4-lkp@intel.com/