4 void store_8(void *addr, uint8_t val)
6 DEBUG("addr = %p, val = %u\n", addr, val);
9 void store_16(void *addr, uint16_t val)
11 DEBUG("addr = %p, val = %u\n", addr, val);
14 void store_32(void *addr, uint32_t val)
16 DEBUG("addr = %p, val = %u\n", addr, val);
19 void store_64(void *addr, uint64_t val)
21 DEBUG("addr = %p, val = %llu\n", addr, val);
24 uint8_t load_8(void *addr)
26 DEBUG("addr = %p\n", addr);
30 uint16_t load_16(void *addr)
32 DEBUG("addr = %p\n", addr);
36 uint32_t load_32(void *addr)
38 DEBUG("addr = %p\n", addr);
42 uint64_t load_64(void *addr)
44 DEBUG("addr = %p\n", addr);