Lines Matching defs:platform

571 cpcgen_use_arch(const char *path, cpc_type_t type, const char *platform)
590 		if (platform != NULL && strcasecmp(platform,
636 cpcgen_read_amd(const char *datadir, const char *platform)
681 		if (platform != NULL && strcmp(platform, name) != 0) {
710 cpcgen_read_intel(const char *datadir, const char *platform)
771 		if ((name = cpcgen_use_arch(path, type, platform)) == NULL)
1884 	(void) fprintf(stderr, "Usage: %s -a|-p platform -c|-H|-m -d datadir "
1893 	    "\t-p  generate data for a specified platform\n",
1903 	const char *datadir = NULL, *outdir = NULL, *platform = NULL;
1929 			platform = optarg;
1963 	if (platform != NULL)
2036 	cpcgen_ops.cgen_op_gather(datadir, platform);