race: where possible, use "const void *" for addresses

[model-checker.git] / include / librace.h

diff --git a/include/librace.h b/include/librace.h
index 591b2925473b9ef608d533d70f2b3d2cf6a928a6..cabf0661ae32832efde74da04fe5ba6257552241 100644 (file)
--- a/include/librace.h
+++ b/include/librace.h
@@ -16,10 +16,10 @@ extern "C" {
        void store_32(void *addr, uint32_t val);
        void store_64(void *addr, uint64_t val);
 
        void store_32(void *addr, uint32_t val);
        void store_64(void *addr, uint64_t val);
 

-       uint8_t load_8(void *addr);
-       uint16_t load_16(void *addr);
-       uint32_t load_32(void *addr);
-       uint64_t load_64(void *addr);
+       uint8_t load_8(const void *addr);
+       uint16_t load_16(const void *addr);
+       uint32_t load_32(const void *addr);
+       uint64_t load_64(const void *addr);

 
 #ifdef __cplusplus
 }
 
 #ifdef __cplusplus
 }