uti: Clear user space PTEs after first fork in create_tracer()

Change-Id: I60755f0cb5e84c3a5a5cd91515411a30f0995822
2018-09-04 09:57:02 +09:00
parent 5c8c1986b5
commit 63703589e5
6 changed files with 92 additions and 26 deletions
--- a/executer/kernel/mcctrl/mcctrl.h
+++ b/executer/kernel/mcctrl/mcctrl.h
@@ -539,6 +539,7 @@ struct vdso {

 int reserve_user_space(struct mcctrl_usrdata *usrdata, unsigned long *startp,
 		unsigned long *endp);
+int release_user_space(uintptr_t start, uintptr_t len);
 void get_vdso_info(ihk_os_t os, long vdso_pa);
 int arch_symbols_init(void);