vringh64_to_cpu   300 drivers/vhost/vringh.c 			u64 a = vringh64_to_cpu(vrh, desc.addr);
vringh64_to_cpu   351 drivers/vhost/vringh.c 		if (!rcheck(vrh, vringh64_to_cpu(vrh, desc.addr), &len, &range,
vringh64_to_cpu   356 drivers/vhost/vringh.c 		addr = (void *)(unsigned long)(vringh64_to_cpu(vrh, desc.addr) +
vringh64_to_cpu   373 drivers/vhost/vringh.c 				    vringh64_to_cpu(vrh, desc.addr) + len);