HelenOS sources

xhci_device_ctx_t  386 uspace/drv/bus/usb/xhci/debug.c 	xhci_device_ctx_t *device_ctx = XHCI_GET_DEVICE_CTX(ictx, hc);
xhci_device_ctx_t  913 uspace/drv/bus/usb/xhci/hc.c 	xhci_device_ctx_t *device_ctx = dev->dev_ctx.virt;
xhci_device_ctx_t  203 uspace/drv/bus/usb/xhci/hw_struct/context.h static inline char *xhci_device_ctx_to_charptr(const xhci_device_ctx_t *ctx)
xhci_device_ctx_t  263 uspace/drv/bus/usb/xhci/hw_struct/context.h     ((xhci_device_ctx_t *) XHCI_GET_CTX_FIELD(input, (ictx), (hc), 1))