enter_vmid_context
enter_vmid_context(mmu, &cxt, false);
enter_vmid_context(mmu, &cxt, true);
enter_vmid_context(mmu, &cxt, false);
enter_vmid_context(mmu, &cxt, false);
enter_vmid_context(mmu, &cxt, false);
enter_vmid_context(mmu, &cxt);
enter_vmid_context(mmu, &cxt);
enter_vmid_context(mmu, &cxt);
enter_vmid_context(mmu, &cxt);
enter_vmid_context(mmu, &cxt);
enter_vmid_context(mmu, &cxt);