Searched refs:ARGS4 (Results 1 - 1 of 1) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/VBoxPkg/VBoxInterceptorDxe/
H A DVBoxInterceptor.h68 #define ARGS4 a0, a1, a2, a3 macro

Completed in 30 milliseconds