KERNEL_PID
mapp[0] ^= __BITS(0, KERNEL_PID);
KERNEL_PID :__SHIFTOUT(reg_ttbr0_el1_read(), TTBR_ASID);
ci->ci_pmap_asid_cur = KERNEL_PID;
ci->ci_pmap_asid_cur = KERNEL_PID;
pai->pai_asid = KERNEL_PID;
efipai->pai_asid = KERNEL_PID;
#if defined(ARM_MMU_EXTENDED) && KERNEL_PID != 0
.ci_pmap_asid_cur = KERNEL_PID,
ci->ci_pmap_asid_cur = KERNEL_PID;
cpu_setttb(l1pt_pa, KERNEL_PID);
cpu_setttb(pmap_kernel()->pm_l1_pa , KERNEL_PID);
KERNEL_PID : (armreg_contextidr_read() & 0xff);
if (asid == KERNEL_PID) {
armreg_contextidr_write(KERNEL_PID);
KASSERTMSG(ci->ci_pmap_asid_cur == KERNEL_PID, "ci_pmap_asid_cur %u",
efipai->pai_asid = KERNEL_PID;
tlb_update_addr(sva, KERNEL_PID, pte, 0);
tlb_set_asid(KERNEL_PID, pmap_kernel());
tlb_set_asid(KERNEL_PID, pmap_kernel());
.tlb_hi = -PAGE_SIZE | KERNEL_PID,
tlb_invalidate_addr(tlbmask.tlb_hi, KERNEL_PID);
.tlb_hi = -PAGE_SIZE | KERNEL_PID,
tlb_invalidate_addr(-PAGE_SIZE, KERNEL_PID);
rv = tlb_update_addr(va, KERNEL_PID, npte, true);
tlb_update_addr(va, KERNEL_PID, old_pte, 0);
tlb_invalidate_addr(va, KERNEL_PID);
tlb_set_asid(KERNEL_PID, pmap_kernel());
tlb_asid_t asid0 = (pte_global_p(pte) ? KERNEL_PID : asid);
tlb_asid_t asid1 = (pte_global_p(pte) ? KERNEL_PID : asid);
tlb_set_asid(KERNEL_PID, pmap_kernel());
kxtlb->e_tlb.tlb_asid = KERNEL_PID;
if (asid == KERNEL_PID) {
if (asid == KERNEL_PID) {
if (asid == KERNEL_PID)
xtlb->e_tlb.tlb_asid = KERNEL_PID;
xtlb->e_tlb.tlb_asid = KERNEL_PID;
tlb_update_addr(trunc_page(faultva), KERNEL_PID, *ptep, true);
KASSERT(mfspr(SPR_PID) == KERNEL_PID);
(tlb_info[tlbnext].ti_ctx == KERNEL_PID) &&
tlb_info[i].ti_ctx = KERNEL_PID;
KASSERT(mfspr(SPR_PID) == KERNEL_PID);
: [pid] "K" (KERNEL_PID),
if (ctx != KERNEL_PID ||
pmap_kernel()->pm_ctx = KERNEL_PID;
if (tf->tf_pid == KERNEL_PID) {
tf->tf_pid = KERNEL_PID;
tf->tf_pid = KERNEL_PID;
ctx = KERNEL_PID;
tlb_set_asid(KERNEL_PID, pmap_kernel());
pmap_md_asid_activate(KERNEL_PID, pmap_kernel(), NULL);
if (asid == KERNEL_PID) {
efipai->pai_asid = KERNEL_PID;
curcpu()->ci_pmap_asid_cur = KERNEL_PID;
if (pai->pai_asid > KERNEL_PID) {
if (pm == pmap_kernel() || pai->pai_asid > KERNEL_PID)
#if KERNEL_PID > 31
for (tlb_asid_t asid = 0; asid <= KERNEL_PID; asid++) \
(asid_max + 1 /* 0 */ - (1 + KERNEL_PID))
.ti_asid_hint = KERNEL_PID + 1,
.ti_asid_bitmap._b[0] = __BITS(0, KERNEL_PID),
KASSERTMSG(pai->pai_asid > KERNEL_PID,
KERNEL_PID);
KASSERT(pai->pai_asid > KERNEL_PID);
ti->ti_asid_hint = KERNEL_PID + 1;
ti->ti_asid_hint = KERNEL_PID + 1;
tlb_invalidate_asids(KERNEL_PID + 1, ti->ti_asid_max);
tlb_invalidate_asids(KERNEL_PID + 1, ti->ti_asid_max);
KASSERT(pai->pai_asid > KERNEL_PID);
KASSERT(pai->pai_asid > KERNEL_PID);
KASSERT(ti->ti_asid_hint > KERNEL_PID);
ti->ti_asid_hint = KERNEL_PID + 1;
KASSERT(ti->ti_asid_hint > KERNEL_PID);
KASSERT(pai->pai_asid <= KERNEL_PID || pai->pai_link.le_prev != NULL);
KASSERT(pai->pai_asid > KERNEL_PID || pai->pai_link.le_prev == NULL);