#ifdef HAVE_CONFIG_H #include "config.h" #endif #define KERNAUX_ACCESS_PROTECTED #include #include #include #include #include #include #include "../fixtures/multiboot2_header_example2.h" static void my_putc(void *display KERNAUX_UNUSED, char c) { putchar(c); } static void my_vprintf(void *display KERNAUX_UNUSED, const char *format, va_list va) { vprintf(format, va); } static const struct KernAux_Display display = { .putc = my_putc, .vprintf = my_vprintf, }; void test_main() { assert(KernAux_Multiboot2_Header_is_valid( &multiboot2_header_example2.multiboot2_header )); KernAux_Multiboot2_Header_print( &multiboot2_header_example2.multiboot2_header, &display ); }