path: root/drmtools.h

gfxstate *drm_init(const char *dev);
void drm_info(const char *device);