mknod              20 user/init.c        mknod("console", CONSOLE, 0);
mknod              16 user/user.h    int mknod(const char *, short, short);