Searched refs:PRNT_PARAMETER4 (Results 1 - 1 of 1) sorted by relevance
| /vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/ | ||
| H A D | VBoxInterceptor.h | 59 #define PRNT_PARAMETER4(f0, ign0, f1, ign1, f2, ign2, f3, ign3) "(" f0 "," f1 "," f2 "," f3 ")" macro |
Completed in 40 milliseconds