Searched refs:EFI_PEI_BOOT_SCRIPT_EXECUTE (Results 1 – 3 of 3) sorted by relevance
59 (EFIAPI *EFI_PEI_BOOT_SCRIPT_EXECUTE)( typedef74 EFI_PEI_BOOT_SCRIPT_EXECUTE Execute;
145 typedef PEI_BOOT_SCRIPT_EXECUTE EFI_PEI_BOOT_SCRIPT_EXECUTE; typedef
1046 (EFIAPI *EFI_PEI_BOOT_SCRIPT_EXECUTE)(