Rename printk() to printf().
authorBen Pfaff <blp@cs.stanford.edu>
Mon, 6 Sep 2004 05:19:18 +0000 (05:19 +0000)
committerBen Pfaff <blp@cs.stanford.edu>
Mon, 6 Sep 2004 05:19:18 +0000 (05:19 +0000)
commitf2f8875638593bd5365cfd6a5ba7c9578e52322f
tree40de42eaeb9cb725027b254dcd87c519e83d4cc5
parentdca7bfbc436c5305ef8f0df6fbe1faba89a0012e
Rename printk() to printf().
Create user library by separating kernel library into kernel-specific
and kernel-independent bits.
Break up lib.c by standard header.
Break up lib.h by standard header.
Write our own standard headers for <stdarg.h>, etc.,
and stop using compiler include path.
77 files changed:
src/Makefile.build
src/Makefile.kernel
src/devices/16550a.h
src/devices/disk.c
src/devices/disk.h
src/devices/kbd.c
src/devices/serial.c
src/devices/timer.c
src/devices/vga.c
src/filesys/Makefile.vars
src/filesys/directory.c
src/filesys/file.c
src/filesys/file.h
src/filesys/filehdr.c
src/filesys/filehdr.h
src/filesys/filesys.c
src/filesys/filesys.h
src/filesys/fsutil.c
src/lib/bitmap.c [deleted file]
src/lib/bitmap.h [deleted file]
src/lib/ctype.h [new file with mode: 0644]
src/lib/debug.c
src/lib/hash.c [deleted file]
src/lib/hash.h [deleted file]
src/lib/inttypes.h [new file with mode: 0644]
src/lib/kernel/bitmap.c [new file with mode: 0644]
src/lib/kernel/bitmap.h [new file with mode: 0644]
src/lib/kernel/hash.c [new file with mode: 0644]
src/lib/kernel/hash.h [new file with mode: 0644]
src/lib/kernel/list.c [new file with mode: 0644]
src/lib/kernel/list.h [new file with mode: 0644]
src/lib/kernel/printf.c [new file with mode: 0644]
src/lib/lib.c [deleted file]
src/lib/lib.h [deleted file]
src/lib/limits.h [new file with mode: 0644]
src/lib/list.c [deleted file]
src/lib/list.h [deleted file]
src/lib/round.h [new file with mode: 0644]
src/lib/stdarg.h [new file with mode: 0644]
src/lib/stdbool.h [new file with mode: 0644]
src/lib/stddef.h [new file with mode: 0644]
src/lib/stdint.h [new file with mode: 0644]
src/lib/stdio.c [new file with mode: 0644]
src/lib/stdio.h [new file with mode: 0644]
src/lib/stdlib.c [new file with mode: 0644]
src/lib/stdlib.h [new file with mode: 0644]
src/lib/string.c [new file with mode: 0644]
src/lib/string.h [new file with mode: 0644]
src/lib/syscall-nr.h [new file with mode: 0644]
src/lib/user/entry.c [new file with mode: 0644]
src/lib/user/printf.c [new file with mode: 0644]
src/lib/user/syscall-stub.S [new file with mode: 0644]
src/lib/user/syscall-stub.h [new file with mode: 0644]
src/lib/user/syscall.c [new file with mode: 0644]
src/lib/user/syscall.h [new file with mode: 0644]
src/lib/user/user.c [new file with mode: 0644]
src/lib/user/user.h [new file with mode: 0644]
src/threads/Makefile.vars
src/threads/init.c
src/threads/interrupt.c
src/threads/loader.S
src/threads/malloc.c
src/threads/malloc.h
src/threads/mmu.h
src/threads/paging.c
src/threads/palloc.c
src/threads/switch.S
src/threads/synch.c
src/threads/synch.h
src/threads/thread.c
src/threads/thread.h
src/userprog/Makefile.vars
src/userprog/addrspace.c
src/userprog/exception.c
src/userprog/gdt.c
src/userprog/syscall.c
src/userprog/tss.c