diff options
| author | Thomas Bushnell <thomas@gnu.org> | 1999-03-15 00:03:41 +0000 |
|---|---|---|
| committer | Thomas Bushnell <thomas@gnu.org> | 1999-03-15 00:03:41 +0000 |
| commit | a5e21be5e36df464444ff8081314a44ee7f2e0a7 (patch) | |
| tree | 7b7cc021866d5cfef6630823d3928e9c1c13fb2b | |
| parent | f22f10e834e49423a4dd831512cd5dfea7f49536 (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.c | 4 |
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; } } |