HelenOS sources

multiboot2.h   58 kernel/arch/amd64/src/amd64.c #include <genarch/multiboot/multiboot2.h>
multiboot2.h   35 kernel/arch/amd64/src/boot/multiboot2.S #include <genarch/multiboot/multiboot2.h>
multiboot2.h   33 kernel/arch/ia32/src/boot/multiboot2.S #include <genarch/multiboot/multiboot2.h>
multiboot2.h   59 kernel/arch/ia32/src/ia32.c #include <genarch/multiboot/multiboot2.h>
multiboot2.h   37 kernel/genarch/src/multiboot/multiboot2.c #include <genarch/multiboot/multiboot2.h>