CTX_PID
return CTX_PID((*context));
set_mmu_pid(CTX_PID(context));
if (unlikely(CTX_PID(next_mmu_context) == 0)) {