uint32_t -> uint &c

bootmain.c

console.c

defs.h

elf.h

ide.c

lapic.c

main.c

mmu.h

mp.c

mp.h

picirq.c

proc.h

spinlock.h

string.c

syscall.c

types.h

x86.h