arm64: record register state at kernel mode page fault (for eclair)

Change-Id: I066bceecc0377110faaca0b21d45a476d000e684
2020-08-12 07:43:45 +09:00
parent 92902d36fc
commit 623d6f8bc3
3 changed files with 7 additions and 0 deletions
--- a/kernel/include/cls.h
+++ b/kernel/include/cls.h
@@ -79,6 +79,7 @@ struct cpu_local_var {
 	ihk_spinlock_t runq_lock;
 	unsigned long runq_irqstate;
 	struct thread *current;
+	void *kernel_mode_pf_regs;
 	int prevpid;
 	struct list_head runq;
 	size_t runq_len;