Searched refs:EFI_BOOT_SERVICES (Results 1 – 5 of 5) sorted by relevance
26 extern EFI_BOOT_SERVICES *gBS;
34 EFI_BOOT_SERVICES *BS;
37 extern EFI_BOOT_SERVICES *BS;
827 } EFI_BOOT_SERVICES; typedef910 EFI_BOOT_SERVICES *BootServices;
1958 } EFI_BOOT_SERVICES; typedef2029 EFI_BOOT_SERVICES *BootServices;