/* The name of the standard mouse driver for a platform */
extern const char mouse_stddrv[];
+/* The address of the static standard mouse driver for a platform */
+extern const char mouse_static_stddrv[];
+
/*****************************************************************************/