+static int parse_cmdline(int *timings, int *downgrade, char **platformFile, int argc, char **argv)
+{
+ int wrong_option = 0;
+ int i;
+ for (i = 1; i < argc; i++) {
+ if (strlen(argv[i]) > 1 && argv[i][0] == '-' && argv[i][1] == '-') {
+ if (!strcmp(argv[i], "--timings")) {
+ *timings = 1;
+ } else {
+ if (!strcmp(argv[i], "--downgrade")) {
+ *downgrade = 1;
+ } else {
+ wrong_option = 1;
+ break;
+ }
+ }
+ } else {
+ *platformFile = argv[i];
+ }
+ }
+ return wrong_option;
+}
+