extern void serial_register(struct serial_device *);
extern void serial_initialize(void);
extern void serial_stdio_init(void);
-extern int serial_assign(char *name);
+extern int serial_assign(const char *name);
extern void serial_reinit_all(void);
/* For usbtty */