Lines Matching refs:set_pte
753 set_pte(temp_seg_va + va, PG_INVAL);
1175 set_pte(va, pte);
1272 set_pte(va, pte);
1526 set_pte(va, PG_INVAL);
1608 set_pte(va, pte);
1618 set_pte(va, PG_INVAL);
1620 set_pte(va, PG_INVAL);
1632 set_pte(va, pte);
1651 set_pte(va, pte);
1662 set_pte(va, pte);
2112 printf("pmap: set_pte pmap=%p va=0x%lx old=0x%x new=0x%x "
2117 set_pte(pgva, new_pte);
2289 printf("pmap: set_pte pmap=%p va=0x%lx old=0x%x new=0x%x "
2294 set_pte(pgva, new_pte);
2400 printf("pmap: set_pte pmap=%p va=0x%lx new=0x%x "
2405 set_pte(va, new_pte);
2473 printf("pmap: set_pte pmap=%p va=0x%lx"
2478 set_pte(pgva, PG_INVAL);
3142 set_pte(pgva, pte);
3195 set_pte(pgva, pte);
3383 printf("pmap: set_pte pmap=%p va=0x%lx"
3388 set_pte(pgva, PG_INVAL);
3486 printf("pmap: set_pte pmap=%p va=0x%lx"
3491 set_pte(pgva, PG_INVAL);
3615 set_pte(tmp_vpages[0], pte);
3617 set_pte(tmp_vpages[1], pte);
3619 set_pte(tmp_vpages[0], PG_INVAL);
3620 set_pte(tmp_vpages[1], PG_INVAL);
3665 set_pte(tmp_vpages[0], pte);
3667 set_pte(tmp_vpages[0], PG_INVAL);
3811 set_pte(va, pte);
Indexes created Sun Oct 19 19:09:49 GMT 2025