UNALIGNED_PUT32()

void UNALIGNED_PUT32 (uint32_t * addr32 , uint32_t val32 )

Stores the 32-bit value val32 into the address specified by addr32.