UNALIGNED_PUT64()

void UNALIGNED_PUT64 (uint64_t * addr64 , uint64_t val64 )

Stores the 64-bit value val64 into the address specified by addr64.