Searched refs:process_efi32 (Results 1 – 1 of 1) sorted by relevance

/illumos-gate/usr/src/uts/i86pc/dboot/
H A D	dboot_startkern.c	1655 process_efi32(EFI_SYSTEM_TABLE32 *efi) in process_efi32() function 1755 process_efi32((EFI_SYSTEM_TABLE32 *)(uintptr_t) in dboot_multiboot_get_fwtables()

Last Index update Wed Apr 24 14:23:45 UTC 2024