load_little_32
extern uint32_t load_little_32(uint32_t *);
#define LOAD_LITTLE_32(addr) load_little_32((uint32_t *)(void *)(addr))