#ifndef UTILS_H
#define UTILS_H 1
#include <types.h>
#define DISALIGNED __attribute__((packed))
#define into_bytes(addr) ((u8 *)(addr))
#define bytes_into(bytes, type) ((type *)(bytes))
void pointer_to_string(u64 addr, char * dest);
#endif