void vid_print(enum vid_term term, const char * str, unsigned int n) { char * p = (char *) str; while (n--) { vid_putc(term, *p++); } }
void process_init() { init_process_pid = process_create((int)(init_process),0,8,1); vid_puts("Initial process created: pid "); vid_putd(init_process_pid); vid_putc('\n'); }
void sys_panic(char *msg) { asm volatile("cli"); vid_puts("Kernel panic: "); vid_puts(msg); vid_putc('\n'); while (1); }