Searched refs:__efi_runtime_data (Results 1 – 7 of 7) sorted by relevance
16 static __efi_runtime_data bool enabled = true;
32 __efi_runtime_data struct bcm2835_wdog_regs *wdog_regs =
86 static const __efi_runtime_data bool use_smc_for_psci = true;
409 #define __efi_runtime_data __attribute__ ((section ("efi_runtime_data"))) macro456 #define __efi_runtime_data macro
458 struct efi_runtime_services __efi_runtime_data efi_runtime_services = {
46 static struct efi_configuration_table __efi_runtime_data efi_conf_table[16];3043 static uint16_t __efi_runtime_data firmware_vendor[] = L"Das U-Boot";3045 struct efi_system_table __efi_runtime_data systab = {
624 __efi_runtime_data u32 __iomem *rstcr = (u32 *)CONFIG_SYS_FSL_RST_ADDR;