Changes in boot/genarch/src/efi.c [de1712e:9d58539] in mainline


Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • boot/genarch/src/efi.c

    rde1712e r9d58539  
    2929#include <genarch/efi.h>
    3030#include <arch/types.h>
    31 #include <stddef.h>
     31#include <typedefs.h>
    3232
    3333void *efi_vendor_table_find(efi_system_table_t *st, efi_guid_t guid)
Note: See TracChangeset for help on using the changeset viewer.