Searched refs:efi_reset_system (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500v2-V1.0.0.60_1.0.38/src/linux/linux-2.6/arch/ia64/hp/sim/boot/
H A Dfw-emu.c132 efi_reset_system (int reset_type, efi_status_t status, unsigned long data_size, efi_char16_t *data) function
310 efi_runtime->reset_system = __pa(&efi_reset_system);

Completed in 87 milliseconds