summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorThomas Bushnell <thomas@gnu.org>1999-03-15 00:03:41 +0000
committerThomas Bushnell <thomas@gnu.org>1999-03-15 00:03:41 +0000
commita5e21be5e36df464444ff8081314a44ee7f2e0a7 (patch)
tree7b7cc021866d5cfef6630823d3928e9c1c13fb2b
parentf22f10e834e49423a4dd831512cd5dfea7f49536 (diff)
Sun Mar 14 18:53:01 1999 Thomas Bushnell, BSG <tb@mit.edu>
* device/ds_routines.c (ds_read_done): When touching memory to mark it dirty, make sure we say "volatile" so the compiler doesn't optimize it out.
-rw-r--r--device/ds_routines.c4
1 files changed, 2 insertions, 2 deletions
diff --git a/device/ds_routines.c b/device/ds_routines.c
index fc7cde9..e370503 100644
--- a/device/ds_routines.c
+++ b/device/ds_routines.c
@@ -1137,8 +1137,8 @@ boolean_t ds_read_done(ior)
register int c;
for (touch = start_sent; touch < end_sent; touch += PAGE_SIZE) {
- c = *(char *)touch;
- *(char *)touch = c;
+ c = *(volatile char *)touch;
+ *(volatile char *)touch = c;
}
}