writeq
#define writeq(va, d) (*(volatile uint64_t *) (va) = (d))
#define writeq(v, addr) lo_hi_writeq(v, addr)
#undef writeq
writeq(uint64_t v, volatile void *addr)
#define writeq(v, addr) writeq(v, addr)