| 230 | } |
| 231 | |
| 232 | static inline void write_le64(void *dest, uint64_t val) |
| 233 | { |
| 234 | write_le32(dest, val >> 0); |
| 235 | write_at_le32(dest, val >> 32, sizeof(uint32_t)); |
| 236 | } |
| 237 | |
| 238 | static inline void write_at_le64(void *dest, uint64_t val, size_t offset) |
| 239 | { |
no test coverage detected