sys/arch/arm64/arm64/pmap.c

1585

ttlb_flush(pm, pted->pted_va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

1604

ttlb_flush(pm, pted->pted_va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

1949

ttlb_flush(pm, va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

2035

ttlb_flush(pted->pted_pmap, pted->pted_va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

2057

ttlb_flush(pted->pted_pmap, pted->pted_va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

680

ttlb_flush(pm, va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

736

ttlb_flush(pm, pted->pted_va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

782

ttlb_flush(pm, va & ~PAGE_MASK);

sys/arch/arm64/arm64/pmap.c

830

ttlb_flush(pm, pted->pted_va & ~PAGE_MASK);