/sys/arch/hpc/stand/include/lib/libkern/
../
libkern.h