linux/kernel/arch/i386/lib
