pte_global_p
tlb_asid_t asid0 = (pte_global_p(pte) ? KERNEL_PID : asid);
tlb_asid_t asid1 = (pte_global_p(pte) ? KERNEL_PID : asid);
KASSERT(pte_global_p(pte[i]));