30         GGLsizei width, GGLsizei height, GGLenum type);
54         GGLsizei width, GGLsizei height, GGLenum /*type*/)  in ggl_copyPixels()  argument
64     if (uint32_t(ys) > cb->height)  in ggl_copyPixels()
68     if (uint32_t(ys + height) > cb->height)  in ggl_copyPixels()
86         height -= offset;  in ggl_copyPixels()
91     if ((yd + height) > GGLint(c->state.scissor.bottom)) {  in ggl_copyPixels()
92         height = GGLint(c->state.scissor.bottom) - yd;  in ggl_copyPixels()
95     if (width<=0 || height<=0) {  in ggl_copyPixels()
112     size_t yc = height;  in ggl_copyPixels()
116         src += height * bpr;  in ggl_copyPixels()
117         dst += height * bpr;  in ggl_copyPixels()