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 861 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 896 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 900 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 994 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 1065 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