sys/arch/powerpc64/powerpc64/db_memrw.c

117

ptesync();

sys/arch/powerpc64/powerpc64/db_memrw.c

124

ptesync();

sys/arch/powerpc64/powerpc64/db_memrw.c

128

ptesync();

sys/arch/powerpc64/powerpc64/pmap.c

1229

ptesync(); /* Ensure updates completed. */

sys/arch/powerpc64/powerpc64/pmap.c

1429

ptesync(); /* Ensure updates completed. */

sys/arch/powerpc64/powerpc64/pmap.c

699

ptesync(); /* Ensure update completed. */

sys/arch/powerpc64/powerpc64/pmap.c

703

ptesync(); /* Ensure tlbsync and update completed. */

sys/arch/powerpc64/powerpc64/pmap.c

799

ptesync(); /* Ensure updates completed. */

sys/arch/powerpc64/powerpc64/pmap.c

817

ptesync(); /* Ensure updates completed. */

sys/arch/powerpc64/powerpc64/pmap.c

865

ptesync(); /* Ensure updates completed. */