56 DBGC ( &
efi_fdt,
"EFIFDT has no configuration table\n" );
71 DBGC ( &
efi_fdt,
"EFIFDT could not create copy\n" );
119 DBGC ( &
efi_fdt,
"EFI_FDT could not install: %s\n",
152 DBGC ( &
efi_fdt,
"EFIFDT could not %sinstall: %s\n",
EFI_BOOT_SERVICES * BootServices
A pointer to the EFI Boot Services Table.
struct arbelprm_rc_send_wqe rc
struct init_fn efi_fdt_init_fn __init_fn(INIT_EARLY)
EFI Flattened Device Tree initialisation function.
Copyright (c) 2013-2014, ARM Limited.
size_t len
Length of tree.
int fdt_parse(struct fdt *fdt, struct fdt_header *hdr, size_t max_len)
Parse device tree.
struct golan_inbox_hdr hdr
Message header.
#define INIT_EARLY
Early initialisation.
static void efi_fdt_init(void)
Initialise EFI Flattened Device Tree.
EFI_GUID efi_fdt_table_guid
FDT table GUID.
static struct efi_table efi_fdt_table
EFI Flattened Device Tree table type.
int efi_fdt_install(const char *cmdline)
Install EFI Flattened Device Tree table.
An installable EFI configuration table type.
EFI_USE_TABLE(FDT_TABLE, &efi_fdt, 0)
void * memcpy(void *dest, const void *src, size_t len) __nonnull
EFI configuration tables.
static struct fdt_header * efi_fdt_installed
EFI Flattened Device Tree installed table.
An initialisation function.
#define be32_to_cpu(value)
void fdt_remove(struct fdt_header *hdr)
Remove device tree.
static struct fdt_header * efi_fdt
EFI Flattened Device Tree configuration table.
char * strerror(int errno)
Retrieve string representation of error number.
FILE_LICENCE(GPL2_OR_LATER_OR_UBDL)
int efi_uninstall_table(struct efi_table *table, void **backup)
Uninstall EFI configuration table.
RETURN_STATUS EFI_STATUS
Function return status for EFI API.
uint8_t data[48]
Additional event data.
int efi_fdt_uninstall(void)
Uninstall EFI Flattened Device Tree table.
EFI Flattened Device Tree.
static size_t efi_fdt_len(const void *data)
Determine length of EFI Flattened Device Tree.
EFI_SYSTEM_TABLE * efi_systab
The data portions of a loaded Boot Serves Driver, and the default data allocation type used by a Boot...
EFI_GUID * guid
Table GUID.
static void * efi_fdt_backup
EFI Flattened Device Tree table backup.
int fdt_create(struct fdt_header **hdr, const char *cmdline, physaddr_t initrd, size_t initrd_len)
Create device tree.
EFI_ALLOCATE_POOL AllocatePool
int efi_install_table(struct efi_table *table, const void *data, void **backup)
Install EFI configuration table.
struct fdt sysfdt
The system flattened device tree (if present)