XENDISPL_DRIVER_NAME
{ XENDISPL_DRIVER_NAME },
DRM_ERROR(XENDISPL_DRIVER_NAME ": different kernel and Xen page sizes are not supported: XEN_PAGE_SIZE (%lu) != PAGE_SIZE (%lu)\n",
DRM_INFO("Registering XEN PV " XENDISPL_DRIVER_NAME "\n");
DRM_INFO("Unregistering XEN PV " XENDISPL_DRIVER_NAME "\n");
MODULE_ALIAS("xen:" XENDISPL_DRIVER_NAME);