linux/kernel/lib
