/* Device support (drm_fops.h) */