coredump: Support threads

Change-Id: Id75ade6c87b15abcff5d772d90f77950376a32c1
Refs: #1219

kernel/include/process.h

@@ -573,6 +573,8 @@ struct process {
 #endif // PROFILE_ENABLE
 	int nr_processes; /* For partitioned execution */
 	int process_rank; /* Rank in partition */
+	int coredump_barrier_count, coredump_barrier_count2;
+	mcs_rwlock_lock_t coredump_lock; // lock for coredump
 };
 
 /*
@@ -722,6 +724,11 @@ struct thread {
 	// for performance counter
 	unsigned long pmc_alloc_map;
 	unsigned long extra_reg_alloc_map;
+
+	/* coredump */
+	void *coredump_regs;
+	struct waitq coredump_wq;
+	int coredump_status;
 };
 
 #define VM_RANGE_CACHE_SIZE	4

kernel/include/syscall.h

@@ -622,4 +622,9 @@ extern long (*linux_wait_event)(void *_resp, unsigned long nsec_timeout);
 extern int (*linux_printk)(const char *fmt, ...);
 extern int (*linux_clock_gettime)(clockid_t clk_id, struct timespec *tp);
 
+/* coredump */
+#define COREDUMP_RUNNING          0
+#define COREDUMP_DESCHEDULED      1
+#define COREDUMP_TO_BE_WOKEN      2
+
 #endif