ctxsw: Add switch_mm() (a.k.a. activate_mm) call in exec_mmap()

The MMInv was updated to check whether a CPU mm is in the freemms list
and the exec_mmap() model was updated accordingly.

Signed-off-by: Catalin Marinas <catalin.marinas@arm.com>
1 file changed