XENKBD_DRIVER_NAME 535 drivers/input/misc/xen-kbdfront.c { XENKBD_DRIVER_NAME }, XENKBD_DRIVER_NAME 572 drivers/input/misc/xen-kbdfront.c MODULE_ALIAS("xen:" XENKBD_DRIVER_NAME);