Philippe Gerum authored Feb 06, 2018 and Jan Kiszka committed Jul 24, 2019

This change enable a co-kernel to change the address space of a task
using the common mm helpers. This is mainly a matter of strictly
serializing context switching code among all callers regardless of
their domain (head/root), by disabling hard irqs.