__raw_writeq
__raw_writeq(uint64_t v, volatile void *addr)
#define __raw_writeq(v, addr) __raw_writeq(v, addr)