Tofu: keep track of stags per memory range

Change-Id: I033beaeee3b141dab4485dd3a2a3848eaa84e54e
2020-12-15 14:43:12 +09:00
parent 75694152f0
commit 0b82c8942b
4 changed files with 306 additions and 2 deletions
--- a/kernel/syscall.c
+++ b/kernel/syscall.c
@ -1390,6 +1390,15 @@ void terminate(int rc, int sig)
 	mcs_rwlock_writer_unlock(&proc->threads_lock, &lock);

 	vm = proc->vm;
+
+#ifdef ENABLE_TOFU
+	if (proc->enable_tofu) {
+		extern void tof_utofu_finalize();
+
+		tof_utofu_finalize();
+	}
+#endif
+
 	free_all_process_memory_range(vm);

 	if (proc->saved_cmdline) {