1219bf3285b39505fec9a95530b80b4790fed9cc
[model-checker.git] / librace.cc
1 #include "librace.h"
2 #include "common.h"
3
4 void store_8(void *addr, uint8_t val)
5 {
6         DEBUG("addr = %p, val = %u\n", addr, val);
7 }
8
9 void store_16(void *addr, uint16_t val)
10 {
11         DEBUG("addr = %p, val = %u\n", addr, val);
12 }
13
14 void store_32(void *addr, uint32_t val)
15 {
16         DEBUG("addr = %p, val = %u\n", addr, val);
17 }
18
19 void store_64(void *addr, uint64_t val)
20 {
21         DEBUG("addr = %p, val = %llu\n", addr, val);
22 }
23
24 uint8_t load_8(void *addr)
25 {
26         DEBUG("addr = %p\n", addr);
27         return 0;
28 }
29
30 uint16_t load_16(void *addr)
31 {
32         DEBUG("addr = %p\n", addr);
33         return 0;
34 }
35
36 uint32_t load_32(void *addr)
37 {
38         DEBUG("addr = %p\n", addr);
39         return 0;
40 }
41
42 uint64_t load_64(void *addr)
43 {
44         DEBUG("addr = %p\n", addr);
45         return 0;
46 }