setup.c (79B)
1 #include "kernel.h" 2 3 void 4 ksetup(struct efi_boot_info *info) 5 { 6 (void) info; 7 }