Home
last modified time | relevance | path

Searched refs:__efi_runtime (Results 1 – 6 of 6) sorted by relevance

/external/u-boot/arch/arm/cpu/armv8/
Dfwcall.c22 static void __efi_runtime hvc_call(struct pt_regs *args) in hvc_call()
56 void __efi_runtime smc_call(struct pt_regs *args) in smc_call()
88 void __noreturn __efi_runtime psci_system_reset(void) in psci_system_reset()
103 void __noreturn __efi_runtime psci_system_off(void) in psci_system_off()
141 void __efi_runtime EFIAPI efi_reset_system( in efi_reset_system()
/external/u-boot/lib/efi_loader/
Defi_runtime.c27 static efi_status_t __efi_runtime EFIAPI efi_unimplemented(void);
28 static efi_status_t __efi_runtime EFIAPI efi_device_error(void);
29 static efi_status_t __efi_runtime EFIAPI efi_invalid_parameter(void);
154 void __weak __efi_runtime EFIAPI efi_reset_system( in efi_reset_system()
168 efi_status_t __weak __efi_runtime EFIAPI efi_get_time( in efi_get_time()
417 static efi_status_t __efi_runtime EFIAPI efi_unimplemented(void) in efi_unimplemented()
422 static efi_status_t __efi_runtime EFIAPI efi_device_error(void) in efi_device_error()
427 static efi_status_t __efi_runtime EFIAPI efi_invalid_parameter(void) in efi_invalid_parameter()
432 efi_status_t __efi_runtime EFIAPI efi_update_capsule( in efi_update_capsule()
440 efi_status_t __efi_runtime EFIAPI efi_query_capsule_caps( in efi_query_capsule_caps()
[all …]
/external/u-boot/arch/arm/mach-bcm283x/
Dreset.c35 void __efi_runtime reset_cpu(ulong ticks) in reset_cpu()
55 void __efi_runtime EFIAPI efi_reset_system( in efi_reset_system()
/external/u-boot/include/
Defi_loader.h410 #define __efi_runtime __attribute__ ((section ("efi_runtime_text"))) macro
418 void __efi_runtime EFIAPI efi_reset_system(
426 efi_status_t __efi_runtime EFIAPI efi_get_time(
457 #define __efi_runtime macro
/external/u-boot/drivers/watchdog/
Dbcm2835_wdt.c31 void __efi_runtime hw_watchdog_disable(void) in hw_watchdog_disable()
/external/u-boot/arch/arm/cpu/armv8/fsl-layerscape/
Dcpu.c626 void __efi_runtime reset_cpu(ulong addr) in reset_cpu()
638 void __efi_runtime EFIAPI efi_reset_system( in efi_reset_system()