Fixed up a few small bugs in the syscall_server stuff
[akaros.git] / kern / include /
drwxr-xr-x   ..
-rw-r--r-- 609 assert.h
-rw-r--r-- 3333 atomic.h
-rw-r--r-- 2208 colored_caches.h
-rw-r--r-- 3667 colored_page_alloc.h
-rw-r--r-- 1480 elf.h
-rw-r--r-- 4258 env.h
-rw-r--r-- 8062 hashtable.h
-rw-r--r-- 4024 hashtable_itr.h
drwxr-xr-x - ivy
-rw-r--r-- 1214 kclock.h
-rw-r--r-- 658 kdebug.h
-rw-r--r-- 802 kfs.h
-rw-r--r-- 640 kmalloc.h
-rw-r--r-- 797 listable.h
-rw-r--r-- 558 manager.h
-rw-r--r-- 1301 monitor.h
-rw-r--r-- 4307 multiboot.h
-rw-r--r-- 1585 page_alloc.h
-rw-r--r-- 4651 pmap.h
-rw-r--r-- 3806 pool.h
-rw-r--r-- 2688 process.h
drwxr-xr-x - ros
-rw-r--r-- 982 schedule.h
-rw-r--r-- 1676 smp.h
-rw-r--r-- 1939 stab.h
-rw-r--r-- 413 stdarg.h
-rw-r--r-- 184 stdint.h
-rw-r--r-- 1301 stdio.h
-rw-r--r-- 1157 string.h
drwxr-xr-x - sys
-rw-r--r-- 484 syscall.h
-rw-r--r-- 987 testing.h
-rw-r--r-- 112 timing.h
-rw-r--r-- 2510 trap.h
-rw-r--r-- 11 types.h
-rw-r--r-- 1010 workqueue.h