HelenOS sources
XHCI_GET_DEVICE_CTX 386 uspace/drv/bus/usb/xhci/debug.c xhci_device_ctx_t *device_ctx = XHCI_GET_DEVICE_CTX(ictx, hc);
XHCI_GET_DEVICE_CTX 872 uspace/drv/bus/usb/xhci/hc.c xhci_slot_ctx_t *slot_ctx = XHCI_GET_SLOT_CTX(XHCI_GET_DEVICE_CTX(ictx, hc), hc);
XHCI_GET_DEVICE_CTX 907 uspace/drv/bus/usb/xhci/hc.c xhci_ep_ctx_t *ep_ctx = XHCI_GET_EP_CTX(XHCI_GET_DEVICE_CTX(ictx, hc), hc, 1);
XHCI_GET_DEVICE_CTX 911 uspace/drv/bus/usb/xhci/hc.c xhci_slot_ctx_t *slot_ctx = XHCI_GET_SLOT_CTX(XHCI_GET_DEVICE_CTX(ictx, hc), hc);
XHCI_GET_DEVICE_CTX 1005 uspace/drv/bus/usb/xhci/hc.c xhci_ep_ctx_t *ep_ctx = XHCI_GET_EP_CTX(XHCI_GET_DEVICE_CTX(ictx, hc), hc, dci);
XHCI_GET_DEVICE_CTX 1076 uspace/drv/bus/usb/xhci/hc.c xhci_ep_ctx_t *ep_ctx = XHCI_GET_EP_CTX(XHCI_GET_DEVICE_CTX(ictx, hc), hc, dci);
HelenOS homepage, sources at GitHub