Symbol: XENUSB_PIPE_DEV_SHIFT