get_autoboot_device
void get_autoboot_device(void);
extern void get_autoboot_device(void); /* in autoconf.c */
get_autoboot_device();