src/sys/arch/hpc/stand/include/lib/libkern