KCONTEXT
if (kdi_vatotte(va, KCONTEXT, &tte) < 0)
ASSERT(sfmmup != ksfmmup && ctxtype != KCONTEXT);
pgsz_cnum = KCONTEXT;
cnum = KCONTEXT;
set KCONTEXT, arg0; \
set KCONTEXT, arg0; \
#if (KCONTEXT != 0)
xt_one(cpu, vtag_unmap_perm_tl1, (uint64_t)va, KCONTEXT);
ret = hv_mmu_map_perm_addr(va, KCONTEXT, *(uint64_t *)&tte,
KCONTEXT, MAP_ITLB | MAP_DTLB);
KCONTEXT,
iskernel = (((uintptr_t)addr & TAGACC_CTX_MASK) == KCONTEXT);
uint64_t kcontextreg = KCONTEXT;
m_info.mmu_ctx_pri = KCONTEXT;
KCONTEXT);
(void) hv_mmu_map_perm_addr(textva, KCONTEXT, *(uint64_t *)&ktext_tte,
(void) hv_mmu_map_perm_addr(datava, KCONTEXT, *(uint64_t *)&kdata_tte,
(void) hv_mmu_map_perm_addr(va, KCONTEXT, tte,
ret = hv_mmu_map_perm_addr(va, KCONTEXT, *(uint64_t *)&tte,
(void) hv_mmu_unmap_perm_addr(va, KCONTEXT,