UNM_NIC_PCI_WRITE_64
UNM_NIC_PCI_WRITE_64(*(__uint64_t *)data, addr);
UNM_NIC_PCI_WRITE_64 (*(__uint64_t *)data, addr);
UNM_NIC_PCI_WRITE_64 (*(__uint64_t *)data, addr);
UNM_NIC_PCI_WRITE_64(*(__uint64_t *)data, (void *) (uptr_t)off);
UNM_NIC_PCI_WRITE_64(tmp, b); \
UNM_NIC_PCI_WRITE_64(tmp, a); \