Home	Sort by: relevance | last modified time | path

Full Search in project(s): src Definition Symbol File Path History   | | Help

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

/src/sys/arch/ia64/include/
efi.h	53 void efi_reset_system(void);
/src/sys/arch/ia64/ia64/
efi.c	149 efi_reset_system(void) function in typeref:typename:void
machdep.c	239 efi_reset_system();

Completed in 13 milliseconds

Indexes created Mon Oct 13 15:10:03 GMT 2025