summaryrefslogtreecommitdiff
path: root/sys/dev
diff options
context:
space:
mode:
authorriastradh <riastradh@NetBSD.org>2023-05-01 12:18:08 +0000
committerriastradh <riastradh@NetBSD.org>2023-05-01 12:18:08 +0000
commit11a8cfaf055205e9a89e0431fe4c8fe75c8c218c (patch)
tree2ccf230c0296eed6e1974af39ad78011fde35460 /sys/dev
parent24226a1d3bc5734a3c7d2578ccee3b8a80a1f99d (diff)
mutex(9): Write comments in terms of ordering semantics.
Phrasing things in terms of implementation details like `acquiring and locking cache lines' both suggests a particular cache coherency protocol, paints an incomplete picture for more involved protocols, and doesn't really help to prove theorems the way ordering relations do. No functional change intended.
Diffstat (limited to 'sys/dev')
0 files changed, 0 insertions, 0 deletions