efi_boot_entry.h 149 B raw

#ifndef PROTOS__EFI_BOOT_ENTRY_H__
#define PROTOS__EFI_BOOT_ENTRY_H__
​
#include <stdnoreturn.h>
​
noreturn void efi_boot_entry(char *config);
​
#endif

tab: 2 4 8 wrap: off on

1	#ifndef PROTOS__EFI_BOOT_ENTRY_H__
2	#define PROTOS__EFI_BOOT_ENTRY_H__
3
4	#include <stdnoreturn.h>
5
6	noreturn void efi_boot_entry(char *config);
7
8	#endif