Searched refs:__efi_runtime_data (Results 1 – 7 of 7) sorted by relevance
17 static __efi_runtime_data bool enabled = true;
245 #define __efi_runtime_data __attribute__ ((section ("efi_runtime_data"))) macro268 #define __efi_runtime_data macro
33 __efi_runtime_data struct bcm2835_wdog_regs *wdog_regs =
86 static const __efi_runtime_data bool use_smc_for_psci = true;
40 static struct efi_configuration_table __efi_runtime_data efi_conf_table[2];1289 static uint16_t __efi_runtime_data firmware_vendor[] =1292 struct efi_system_table __efi_runtime_data systab = {
373 struct efi_runtime_services __efi_runtime_data efi_runtime_services = {
578 __efi_runtime_data u32 __iomem *rstcr = (u32 *)CONFIG_SYS_FSL_RST_ADDR;