HelenOS sources

XHCI_PSI_PSIV     305 uspace/drv/bus/usb/xhci/debug.c 	    XHCI_REG_RD(psi, XHCI_PSI_PSIV),
XHCI_PSI_PSIV     135 uspace/drv/bus/usb/xhci/hc.c 					unsigned psiv = XHCI_REG_RD(psi, XHCI_PSI_PSIV);
HelenOS homepage, sources at GitHub