288     uint32_t texture = 0x1234;  in read_pixels_fbo_format_mismatch()  local
537     uint32_t texture   = 0x1234;  in clear_bufferiv()  local
588     uint32_t texture   = 0x1234;  in clear_bufferuiv()  local
636     uint32_t texture   = 0x1234;  in clear_bufferfv()  local
790     uint32_t texture        = 0x1234;  in draw_buffers()  local
996     uint32_t texture        = 0x1234;  in read_buffer()  local
1197         GLuint texture[] = {0x1234, 0x1234};  in framebuffer_texture()  local
1405     uint32_t texture[2];  in blit_framebuffer()  local
1755     uint32_t texture        = 0x1234;  in invalidate_framebuffer()  local
1806     uint32_t texture        = 0x1234;  in invalidate_sub_framebuffer()  local
1951         uint32_t texture[5];  in copy_image_sub_data()  local