Question

I want to know how I can write 64-bit values into memory in C. I’m doing embedded development and in order for something to function areas of memory must be initialized using 64-bit writes.

Answer 1

This should do it:

#include <stdint.h>

void write_64bit_zero_to(void *address)
{
  *((uint64_t *) address) = 0;
}

if your platform doesn’t provide stdint.h, I’m sure it has something similiar as long as the architecture actually supports 64-bit integers (which, of course, you’ve said that it does). See this page for more talk about the type.