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);