Searched refs:EFI_D_INIT (Results 1 - 5 of 5) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/Disk/PartitionDxe/ |
| H A D | ElTorito.c | 216 DEBUG ((EFI_D_INIT, "EltCheckDevice: unsupported El Torito boot media type %x\n", Catalog->Boot.MediaType));
|
| /vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/PartitionDxe/ |
| H A D | ElTorito.c | 243 DEBUG ((EFI_D_INIT, "EltCheckDevice: unsupported El Torito boot media type %x\n", Catalog->Boot.MediaType));
|
| /vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/Library/ |
| H A D | DebugLib.h | 61 #define EFI_D_INIT DEBUG_INIT macro
|
| /vbox/src/VBox/Devices/EFI/Firmware/OvmfPkg/BlockMmioToBlockIoDxe/ |
| H A D | BlockIo.c | 432 DEBUG ((EFI_D_INIT, "BlockIoDriverBindingStart: Successfully started\n"));
|
| /vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Bus/Ata/AtaBusDxe/ |
| H A D | AtaBus.c | 385 DEBUG ((EFI_D_ERROR | EFI_D_INIT, "Failed to initialize Port %x PortMultiplierPort %x, status = %r\n", Port, PortMultiplierPort, Status));
|
Completed in 472 milliseconds