1 #define __STDC_FORMAT_MACROS
7 void store_8(void *addr, uint8_t val)
9 DEBUG("addr = %p, val = %" PRIu8 "\n", addr, val);
12 void store_16(void *addr, uint16_t val)
14 DEBUG("addr = %p, val = %" PRIu16 "\n", addr, val);
17 void store_32(void *addr, uint32_t val)
19 DEBUG("addr = %p, val = %" PRIu32 "\n", addr, val);
22 void store_64(void *addr, uint64_t val)
24 DEBUG("addr = %p, val = %" PRIu64 "\n", addr, val);
27 uint8_t load_8(void *addr)
29 DEBUG("addr = %p\n", addr);
33 uint16_t load_16(void *addr)
35 DEBUG("addr = %p\n", addr);
39 uint32_t load_32(void *addr)
41 DEBUG("addr = %p\n", addr);
45 uint64_t load_64(void *addr)
47 DEBUG("addr = %p\n", addr);