/sys/arch/alpha/stand/libkern/