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);
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);
24 #endif /* __LIBRACE_H__ */