Symbol: efi_autoload
sys/arch/ia64/stand/efi/libefi/efiboot.h
88
extern int efi_autoload(void);
sys/arch/ia64/stand/ia64/efi/main.c
175
archsw.arch_autoload = efi_autoload;