nacl_hfence_vvma_all
nacl_hfence_vvma_all(nacl_shmem(), vmid);
nacl_hfence_vvma_all(nacl_shmem(), d.vmid);