UNM_NIC_PCI_READ_64
*(__uint64_t *)data = UNM_NIC_PCI_READ_64(addr);
*(__uint64_t *)data = UNM_NIC_PCI_READ_64(addr);
*(__uint64_t *)data = UNM_NIC_PCI_READ_64((void *) (uptr_t)off);
*(__uint64_t *)data = UNM_NIC_PCI_READ_64(addr);
tmp = UNM_NIC_PCI_READ_64(a); \
tmp = UNM_NIC_PCI_READ_64(b); \