diff options
| author | Artur Grabowski <art@cvs.openbsd.org> | 2000-02-04 19:16:14 +0000 |
|---|---|---|
| committer | Artur Grabowski <art@cvs.openbsd.org> | 2000-02-04 19:16:14 +0000 |
| commit | f36ae7656cce9f52433cf3f1c1ab0b69ebaf3d2e (patch) | |
| tree | e59ecf9d0c2affa1c9ac68eafbdc7412ff311780 /sys/kern | |
| parent | d31a7560b8583bab1612416f3f205cdf129c4d02 (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 'sys/kern')
0 files changed, 0 insertions, 0 deletions