params->itb = itb;
params->dtb = dtb;
params->system = system;
-#if FULL_SYSTEM
params->cpu_id = cpu_id;
+#if FULL_SYSTEM
params->profile = profile;
#else
params->process = workload;
params->itb = itb;
params->dtb = dtb;
params->system = system;
-#if FULL_SYSTEM
params->cpu_id = cpu_id;
+#if FULL_SYSTEM
params->profile = profile;
#else
params->process = workload;
params->dtb = dtb;
params->system = system;
-#if FULL_SYSTEM
params->cpu_id = cpu_id;
+#if FULL_SYSTEM
params->profile = profile;
params->do_quiesce = do_quiesce;
params->do_checkpoint_insts = do_checkpoint_insts;
params->dtb = dtb;
params->system = system;
-#if FULL_SYSTEM
params->cpu_id = cpu_id;
-#else
+#if !FULL_SYSTEM
params->workload = workload;
// params->pTable = page_table;
#endif // FULL_SYSTEM