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

/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/Python/AutoGen/
H A DGenMake.py40 gPpiDefinition = "Ppi/%(HeaderKey)s/%(HeaderKey)s.h" variable
51 "EFI_PPI_DEFINITION" : gPpiDefinition,
52 "EFI_PPI_PRODUCER" : gPpiDefinition,
53 "EFI_PPI_CONSUMER" : gPpiDefinition,
54 "EFI_PPI_DEPENDENCY" : gPpiDefinition,

Completed in 34 milliseconds