Symbol: arm_efirt_reset
sys/arch/arm/acpi/acpi_platform.c
410
arm_efirt_reset(EFI_RESET_COLD);
sys/arch/arm/arm/efi_runtime.h
45
int arm_efirt_reset(enum efi_reset);
sys/arch/arm/fdt/acpi_fdt.c
137
arm_efirt_reset(EFI_RESET_SHUTDOWN);