| /src/sys/arch/powerpc/booke/ |
| booke_pmap.c | 420 pt_entry_t xpte = *ptep; local in function:pmap_md_tlb_check_entry
421 xpte &= ~((xpte & (PTE_UNSYNCED|PTE_UNMODIFIED)) << 1);
422 xpte ^= xpte & (PTE_UNSYNCED|PTE_UNMODIFIED|PTE_WIRED);
424 KASSERTMSG(pte == xpte,
426 pm, va, asid, pte, xpte, *ptep);
|
| booke_pmap.c | 420 pt_entry_t xpte = *ptep; local in function:pmap_md_tlb_check_entry
421 xpte &= ~((xpte & (PTE_UNSYNCED|PTE_UNMODIFIED)) << 1);
422 xpte ^= xpte & (PTE_UNSYNCED|PTE_UNMODIFIED|PTE_WIRED);
424 KASSERTMSG(pte == xpte,
426 pm, va, asid, pte, xpte, *ptep);
|
| /src/sys/arch/mips/mips/ |
| pmap_machdep.c | 873 pt_entry_t xpte = opte; local in function:pmap_md_tlb_check_entry
875 xpte &= ~(MIPS3_PG_WIRED|MIPS3_PG_RO);
877 xpte &= ~(MIPS1_PG_WIRED|MIPS1_PG_RO);
886 xpte ^= (pte ^ xpte) & MIPS3_PG_D;
888 xpte ^= (pte ^ xpte) & MIPS1_PG_D;
892 KASSERTMSG(pte == xpte,
895 pm, va, asid, pte_value(pte), pte_value(xpte), pte_value(opte),
|
| pmap_machdep.c | 873 pt_entry_t xpte = opte; local in function:pmap_md_tlb_check_entry
875 xpte &= ~(MIPS3_PG_WIRED|MIPS3_PG_RO);
877 xpte &= ~(MIPS1_PG_WIRED|MIPS1_PG_RO);
886 xpte ^= (pte ^ xpte) & MIPS3_PG_D;
888 xpte ^= (pte ^ xpte) & MIPS1_PG_D;
892 KASSERTMSG(pte == xpte,
895 pm, va, asid, pte_value(pte), pte_value(xpte), pte_value(opte),
|
