Lines Matching refs:device
10 /* More information about the BGA device itself is available from
14 /* Opaque pointer as a handle to the device. */
18 * framebuffer - A pointer to the device frame mapped into your address space.
26 /* Destroy and clean up resources associated with an initialised device.
29 int bga_destroy(bga_p device);
31 /* Get the version number of this device. */
32 uint16_t bga_version(bga_p device);
34 /* Set the mode of the device. Returns 0 on success. On error, the device might
40 int bga_set_mode(bga_p device, unsigned int width, unsigned int height,
54 int bga_set_pixel(bga_p device, unsigned int x, unsigned int y, char *value);
60 void *bga_get_framebuffer(bga_p device);