static void* vprod(NrnThread* nt) { int i = nt->id; N_VProd_Serial(xarg(i), yarg(i), zarg(i)); return (void*)0; }
void N_VProd(N_Vector x, N_Vector y, N_Vector z) { N_VProd_Serial(x, y, z); return; }