1 #define __STDC_FORMAT_MACROS
7 void store_8(void *addr, uint8_t val)
9 DEBUG("addr = %p, val = %" PRIu8 "\n", addr, val);
10 (*(uint8_t *)addr) = val;
13 void store_16(void *addr, uint16_t val)
15 DEBUG("addr = %p, val = %" PRIu16 "\n", addr, val);
16 (*(uint16_t *)addr) = val;
19 void store_32(void *addr, uint32_t val)
21 DEBUG("addr = %p, val = %" PRIu32 "\n", addr, val);
22 (*(uint32_t *)addr) = val;
25 void store_64(void *addr, uint64_t val)
27 DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
28 (*(uint64_t *)addr) = val;
31 uint8_t load_8(void *addr)
33 DEBUG("addr = %p\n", addr);
34 return *((uint8_t *)addr);
37 uint16_t load_16(void *addr)
39 DEBUG("addr = %p\n", addr);
40 return *((uint16_t *)addr);
43 uint32_t load_32(void *addr)
45 DEBUG("addr = %p\n", addr);
46 return *((uint32_t *)addr);
49 uint64_t load_64(void *addr)
51 DEBUG("addr = %p\n", addr);
52 return *((uint64_t *)addr);