Lines Matching refs:pai_asid
4451 (uintptr_t)PMAP_PAI(pm, cpu_tlb_info(curcpu()))->pai_asid, 0);
4925 (uintptr_t)pm, pm->pm_l1_pa, pai->pai_asid, 0);
4940 cpu_setttb(pm->pm_l1_pa, pai->pai_asid);
4952 KASSERTMSG(ci->ci_pmap_asid_cur == pai->pai_asid, "%u vs %u",
4953 ci->ci_pmap_asid_cur, pai->pai_asid);
5012 armreg_contextidr_write(pai->pai_asid);
5023 ci->ci_pmap_asid_cur = pai->pai_asid;
5313 || pm->pm_pai[0].pai_asid == curcpu()->ci_pmap_asid_cur,
5315 pm->pm_pai[0].pai_asid, curcpu()->ci_data.cpu_name,
6371 efipai->pai_asid = KERNEL_PID;