HelenOS sources

PS_SHIFT           37 kernel/arch/ia64/src/start.S #define PS_SHIFT   2
PS_SHIFT          249 uspace/drv/bus/usb/ohci/ohci_regs.h #define PS_SHIFT 0
HelenOS homepage, sources at GitHub