mcexec: introduction of --flags argument

Change-Id: If5b70bf06460fc709444d8135511c3699304d31f

kernel/host.c

@@ -589,6 +589,10 @@ static int process_msg_prepare_process(unsigned long rphys)
 	}
 #endif
 
+	proc->mcexec_flags = pn->mcexec_flags;
+	dkprintf("%s: PID: %d, flags: 0x%lx\n",
+		__func__, proc->pid, proc->mcexec_flags);
+
 #ifdef PROFILE_ENABLE
 	proc->profile = pn->profile;
 	thread->profile = pn->profile;

kernel/include/process.h

@@ -577,6 +577,7 @@ struct process {
 	int enable_tofu;
 #endif
 	size_t straight_map_threshold;
+	unsigned long mcexec_flags;
 
 	// perf_event
 	int perf_status;

kernel/include/syscall.h

@@ -243,6 +243,7 @@ struct program_load_desc {
 #ifdef ENABLE_TOFU
 	int enable_tofu;
 #endif
+	unsigned long mcexec_flags;
 	int nr_processes;
 	int process_rank;
 	__cpu_set_unit cpu_set[PLD_CPU_SET_SIZE];