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