Lines Matching defs:cxt
21 struct tlb_inv_context *cxt)
26 local_irq_save(cxt->flags);
29 cxt->mmu = vcpu->arch.hw_mmu;
31 cxt->mmu = NULL;
43 val = cxt->tcr = read_sysreg_el1(SYS_TCR);
46 val = cxt->sctlr = read_sysreg_el1(SYS_SCTLR);
70 static void __tlb_switch_to_host(struct tlb_inv_context *cxt)
80 if (cxt->mmu)
81 __load_stage2(cxt->mmu, cxt->mmu->arch);
85 write_sysreg_el1(cxt->tcr, SYS_TCR);
86 write_sysreg_el1(cxt->sctlr, SYS_SCTLR);
89 local_irq_restore(cxt->flags);
95 struct tlb_inv_context cxt;
100 __tlb_switch_to_guest(mmu, &cxt);
121 __tlb_switch_to_host(&cxt);
127 struct tlb_inv_context cxt;
132 __tlb_switch_to_guest(mmu, &cxt);
153 __tlb_switch_to_host(&cxt);
159 struct tlb_inv_context cxt;
172 __tlb_switch_to_guest(mmu, &cxt);
182 __tlb_switch_to_host(&cxt);
187 struct tlb_inv_context cxt;
192 __tlb_switch_to_guest(mmu, &cxt);
198 __tlb_switch_to_host(&cxt);
203 struct tlb_inv_context cxt;
206 __tlb_switch_to_guest(mmu, &cxt);
213 __tlb_switch_to_host(&cxt);