more docs
[model-checker.git] / librace.h
1 #ifndef __LIBRACE_H__
2 #define __LIBRACE_H__
3
4 #include <stdint.h>
5
6 #ifdef __cplusplus
7 extern "C" {
8 #endif
9
10         void store_8(void *addr, uint8_t val);
11         void store_16(void *addr, uint16_t val);
12         void store_32(void *addr, uint32_t val);
13         void store_64(void *addr, uint64_t val);
14
15         uint8_t load_8(void *addr);
16         uint16_t load_16(void *addr);
17         uint32_t load_32(void *addr);
18         uint64_t load_64(void *addr);
19
20 #ifdef __cplusplus
21 }
22 #endif
23
24 #endif /* __LIBRACE_H__ */