e531ee626e
the pagers are all destroyed when linux thinks there is no process left, but there is no synchronisation with mcexec on that and some new process might have spawned and started using these pagers in the meantime, leading to weird crashes because an invalid pager was used. The reason we're cleaning up pagers when no process is left is that mcctrl does not handle pager_req_release is the linux-side process got killed or died before the mckernel one for some reason, so: - move pager_req_release to a new __do_in_kernel_irq_syscall() helper - have free_all_process_memory_range not set MF_HOST_RELEASED on the memobj - just in case, clean up everything like before on mcctrl shutdown instead of when no process is left. Change-Id: I53b8b9b81b1e5b807593850af17b5ea5e8471174 Refs: #1154