#ifndef WH_USER_H_c776ab6d_
#define WH_USER_H_c776ab6d_

#include <inttypes.h>

extern int nomemacc;

extern void panic(const char *, int, const char *, ...)
	__attribute__((__format__(__printf__,3,4),__noreturn__));
#define panic(...) (panic)(__FILE__, __LINE__, __VA_ARGS__)

extern uint32_t mem_get_4(uint32_t);
extern uint32_t mem_exe_4(uint32_t);
extern void mem_set_4(uint32_t, uint32_t);
extern uint16_t mem_get_2(uint32_t);
extern void mem_set_2(uint32_t, uint16_t);
extern uint8_t mem_get_1(uint32_t);
extern void mem_set_1(uint32_t, uint8_t);

#endif