efi: Change main() call with common boot header
[viridis.git] / include /
drwxr-xr-x   ..
-rw-r--r-- 72 acpi.h
-rw-r--r-- 1936 apic.h
drwxr-xr-x - asm
-rw-r--r-- 107 console.h
-rw-r--r-- 1193 domain.h
-rw-r--r-- 228 errno.h
-rw-r--r-- 2856 grub.h
-rw-r--r-- 109 irq.h
-rw-r--r-- 209 kernel.h
-rw-r--r-- 527 map.h
-rw-r--r-- 156 math.h
-rw-r--r-- 1545 memmap.h
-rw-r--r-- 652 objcache.h
-rw-r--r-- 959 page_alloc.h
-rw-r--r-- 4298 paging.h
-rw-r--r-- 65 smp.h
-rw-r--r-- 234 string.h
-rw-r--r-- 113 test.h
-rw-r--r-- 314 types.h
-rw-r--r-- 83 vga.h
-rw-r--r-- 154 vsalloc.h
drwxr-xr-x - vua