Searched refs:EFI_BOOT_SCRIPT_WRITE (Results 1 – 3 of 3) sorted by relevance
48 (EFIAPI *EFI_BOOT_SCRIPT_WRITE) ( typedef67 EFI_BOOT_SCRIPT_WRITE Write;
48 (EFIAPI *EFI_BOOT_SCRIPT_WRITE)( typedef80 EFI_BOOT_SCRIPT_WRITE Write; ///< Writes various boot scripts to a boot script table.
1006 (EFIAPI *EFI_BOOT_SCRIPT_WRITE) (