Symbol: acpi_stub_init
sys/arch/ia64/stand/ia64/ski/efi_stub.c
276
acpi_stub_init();
sys/arch/ia64/stand/ia64/ski/efi_stub.c
47
extern void acpi_stub_init(void);