XENDISPL_DRIVER_NAME  778 drivers/gpu/drm/xen/xen_drm_front.c 	{ XENDISPL_DRIVER_NAME },
XENDISPL_DRIVER_NAME  793 drivers/gpu/drm/xen/xen_drm_front.c 		DRM_ERROR(XENDISPL_DRIVER_NAME ": different kernel and Xen page sizes are not supported: XEN_PAGE_SIZE (%lu) != PAGE_SIZE (%lu)\n",
XENDISPL_DRIVER_NAME  804 drivers/gpu/drm/xen/xen_drm_front.c 	DRM_INFO("Registering XEN PV " XENDISPL_DRIVER_NAME "\n");
XENDISPL_DRIVER_NAME  810 drivers/gpu/drm/xen/xen_drm_front.c 	DRM_INFO("Unregistering XEN PV " XENDISPL_DRIVER_NAME "\n");
XENDISPL_DRIVER_NAME  819 drivers/gpu/drm/xen/xen_drm_front.c MODULE_ALIAS("xen:" XENDISPL_DRIVER_NAME);