cpu_tlb_info
cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
PMAP_PAI(pm, cpu_tlb_info(ci))->pai_asid, 0, 0);
cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
PMAP_PAI(pm, cpu_tlb_info(ci))->pai_asid, 0, 0);
aarch64_tlbi_by_asid(PMAP_PAI(pm, cpu_tlb_info(ci))->pai_asid);
cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(kpm, cpu_tlb_info(ci));
struct pmap_asid_info * const efipai = PMAP_PAI(efipm, cpu_tlb_info(ci));
cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
(uintptr_t)cpu_tlb_info(curcpu()),
cpu_tlb_info(ci));
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
(uintptr_t)cpu_tlb_info(curcpu()),
(uintptr_t)PMAP_PAI(pm, cpu_tlb_info(curcpu())),
(uintptr_t)PMAP_PAI(pm, cpu_tlb_info(curcpu()))->pai_asid, 0);
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(ci));
struct pmap_asid_info * const efipai = PMAP_PAI(efipm, cpu_tlb_info(curcpu()));
struct pmap_tlb_info * const ti = cpu_tlb_info(curcpu());
struct pmap_tlb_info * const ti = cpu_tlb_info(curcpu());
struct pmap_tlb_info * const ti = cpu_tlb_info(ci);
struct pmap_asid_info * const pai = PMAP_PAI(pm, cpu_tlb_info(curcpu()));
struct pmap_asid_info * const efipai = PMAP_PAI(efipm, cpu_tlb_info(ci));
struct pmap_tlb_info * const ti = cpu_tlb_info(ci);
struct pmap_tlb_info * const ti = cpu_tlb_info(ci);
pmap_tlb_pai_check(cpu_tlb_info(curcpu()), false);
struct pmap_tlb_info * const ti = cpu_tlb_info(curcpu());
struct pmap_tlb_info * const ti = cpu_tlb_info(ci);
kcpuset_remove(pm_active, cpu_tlb_info(curcpu())->ti_kcpuset);
struct pmap_tlb_info * const ti = cpu_tlb_info(curcpu());
struct pmap_tlb_info * const ti = cpu_tlb_info(curcpu());
struct pmap_tlb_info * const ti = cpu_tlb_info(ci);
#ifndef cpu_tlb_info