Searched refs:PRODUCT_SHORT_NAME (Results 1 – 4 of 4) sorted by relevance
40 printf ( PRODUCT_SHORT_NAME " initialising devices...\n" ); in main()
28 #define PRODUCT_SHORT_NAME "gPXE" macro
143 .ascii PRODUCT_SHORT_NAME
1092 *driver_name = L"" PRODUCT_SHORT_NAME " Driver"; in efi_snp_get_driver_name()