• Philippe Gerum's avatar
    arm64: ipipe: share context switch code with the head domain · 61203e83
    Philippe Gerum authored
    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.
mmu_context.h 6.89 KB