NOT WORK TODO */

int gets(char *str) is UNSAFE */

read a string(start at addr, length cnt) from a port */

We first remap the interrupt controllers, and then we install * the appropriate ISRs to the correct entries in the IDT. This * is just like installi

in short: map irq 0-15 to int 32-47 */

truncate inode * only called when the inode has no links to it * and not any in-memory ref to it * - 在磁盘上没有被任何目录引用 nlinks = 0 * - 在内存里没有引用(没有被打开

write a string(start at addr, length cnt) to a port */

parse & execute external command */ only support one operator in a command : * cat < README * cat README > newfile * ls | cat */

print current runlevel and register */

抽取路径中的第一个名字, 返回余下部分 * skip the first elem of path, return this elem * - skipelem("a/b/c", name) = "b/c" name = a * - skipelem("////a//c", name) =

splist command * "cat READMD > cat" -> "cat", 0, "README", 0, ">", 0, 0, "cat", 0 * */

Sets up the system clock by installing the timer handler * into IRQ0 */

receive char form kb_hander, write to tty_buf */

build a map of user space for a initproc's page table */

reflush page table cache */

be called when marco __LOG_ON is defined

do not ask me why call pic_init here, irq didn't work after fork() * I have to reinit it * thx to fleuria */

used for test

read a word from a port */

This clears the handler for a given IRQ */

write a word to a port */

this function is case sensitive * return the substring, not index*/

int _link(char *old, char *new); */

make up a device file */