gfxstate *drm_init(const char *device, const char *output);
void drm_info(const char *device);