drm_mga_age_t      82 drivers/gpu/drm/mga/mga_drv.h 	drm_mga_age_t age;
drm_mga_age_t     218 include/uapi/drm/mga_drm.h 	drm_mga_age_t last_frame;