Searched refs:efiDbgPointName (Results 1 - 1 of 1) sorted by relevance
/vbox/src/VBox/Devices/EFI/ | ||
H A D | DevEFI.cpp | 1368 static const char *efiDbgPointName(EFIDBGPOINT enmDbgPoint) function 1529 LogRelMax(1024, ("EFI: debug point %s\n", efiDbgPointName((EFIDBGPOINT)u32))); |
Completed in 823 milliseconds