27 lines
740 B
C
27 lines
740 B
C
#ifndef __MACH_EFI_H
|
|
#define __MACH_EFI_H
|
|
|
|
#include <efi.h>
|
|
|
|
const char *efi_strerror(efi_status_t err);
|
|
|
|
extern efi_system_table_t *efi_sys_table;
|
|
extern efi_handle_t efi_parent_image;
|
|
extern struct efi_device_path *efi_device_path;
|
|
extern efi_loaded_image_t *efi_loaded_image;
|
|
|
|
int efi_errno(efi_status_t err);
|
|
|
|
void *efi_get_variable(char *name, efi_guid_t *vendor, int *var_size);
|
|
|
|
static inline void *efi_get_global_var(char *name, int *var_size)
|
|
{
|
|
return efi_get_variable(name, &efi_global_variable_guid, var_size);
|
|
}
|
|
|
|
int efi_set_variable(char *name, efi_guid_t *vendor, uint32_t attributes,
|
|
void *buf, unsigned long size);
|
|
int efi_set_variable_usec(char *name, efi_guid_t *vendor, uint64_t usec);
|
|
|
|
#endif /* __MACH_EFI_H */
|