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