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