summaryrefslogtreecommitdiff
path: root/distrib
diff options
context:
space:
mode:
authorArtur Grabowski <art@cvs.openbsd.org>2000-02-04 19:16:14 +0000
committerArtur Grabowski <art@cvs.openbsd.org>2000-02-04 19:16:14 +0000
commitf36ae7656cce9f52433cf3f1c1ab0b69ebaf3d2e (patch)
treee59ecf9d0c2affa1c9ac68eafbdc7412ff311780 /distrib
parentd31a7560b8583bab1612416f3f205cdf129c4d02 (diff)
In cases where we flush a page from the cache and tlb we want to
flush it from the tlb _after_ the cache because some cache flushes can reload the tlb. (fixes random coredumps on some cpus).
Diffstat (limited to 'distrib')
0 files changed, 0 insertions, 0 deletions