* @{
*/
int usb_initialize(void);
+int usb_exit (void);
int usbhid_havechar(void);
int usbhid_getchar(void);
/** @} */
/* drivers/option.c */
void fix_options_checksum(void);
+int get_option_from(struct cb_cmos_option_table *option_table, void *dest, char *name);
int get_option(void *dest, char *name);
/**