Added more SharC annotations
[akaros.git] / kern / arch / i386 /
drwxr-xr-x   ..
-rw-r--r-- 1316 Makefrag
-rw-r--r-- 6116 apic.c
-rw-r--r-- 7288 apic.h
-rw-r--r-- 3598 arch.h
-rw-r--r-- 2272 atomic.h
drwxr-xr-x - boot
-rw-r--r-- 882 colored_caches.c
-rw-r--r-- 2137 colored_page_alloc.h
-rw-r--r-- 13476 console.c
-rw-r--r-- 608 console.h
-rw-r--r-- 5011 cpuinfo.c
-rw-r--r-- 3405 entry.S
-rw-r--r-- 2476 env.c
-rw-r--r-- 3323 kbdreg.h
-rw-r--r-- 492 kclock.c
-rw-r--r-- 7463 kdebug.c
-rw-r--r-- 1226 kernel.ld
-rw-r--r-- 13611 mmu.h
-rw-r--r-- 3040 page_alloc.c
-rw-r--r-- 31224 pmap.c
-rw-r--r-- 1082 process.c
-rw-r--r-- 5666 smp.c
-rw-r--r-- 500 smp.h
-rw-r--r-- 8733 smp_boot.c
-rw-r--r-- 3348 smp_entry.S
-rw-r--r-- 14395 trap.c
-rw-r--r-- 3068 trap.h
-rw-r--r-- 8324 trapentry.S
-rw-r--r-- 964 types.h
-rw-r--r-- 8677 x86.h