XENUSB_PIPE_DEV_SHIFT
pipe = usb_pipedevice(urb_pipe) << XENUSB_PIPE_DEV_SHIFT;
(((pipe) >> XENUSB_PIPE_DEV_SHIFT) & XENUSB_PIPE_DEV_MASK)