nacl_shmem
__r = nacl_csr_read(nacl_shmem(), __csr); \
nacl_csr_write(nacl_shmem(), __csr, __val); \
__r = nacl_csr_swap(nacl_shmem(), __csr, __val); \
nsh = nacl_shmem();
nsh = nacl_shmem();
nacl_hfence_gvma_vmid_all(nacl_shmem(), vmid);
nacl_hfence_vvma_all(nacl_shmem(), vmid);
nacl_hfence_gvma_vmid(nacl_shmem(), d.vmid,
nacl_hfence_gvma_vmid_all(nacl_shmem(), d.vmid);
nacl_hfence_vvma_asid(nacl_shmem(), d.vmid, d.asid,
nacl_hfence_vvma_asid_all(nacl_shmem(), d.vmid, d.asid);
nacl_hfence_vvma(nacl_shmem(), d.vmid,
nacl_hfence_vvma_all(nacl_shmem(), d.vmid);
nsh = nacl_shmem();
nsh = nacl_shmem();
nsh = nacl_shmem();
nsh = nacl_shmem();