usr/src/boot/sys/amd64/include/psl.h usr/src/boot/sys/i386/include/psl.h usr/src/boot/sys/x86/include/psl.h
