__global__ void dirichlet_apply_scalar_kernel(const int *__restrict__ msk, T *__restrict__ x, const T g, const int m)
void device_mpi_init_reqs(int n, void **reqs_out)
void device_mpi_isend(void *buf_d, int offset, int nbytes, int rank, void *vreqs, int i)
int device_mpi_test(void *vreqs, int i)
void device_mpi_waitall(int n, void *vreqs)
void device_mpi_irecv(void *buf_d, int offset, int nbytes, int rank, void *vreqs, int i)
void device_mpi_free_reqs(void **reqs)
int device_mpi_waitany(int n, void *vreqs, int *i)