Index: uspace/drv/bus/usb/ehci/hc.h
===================================================================
--- uspace/drv/bus/usb/ehci/hc.h	(revision 705f83ae686e8cd769aac792fa6b14f88a63b757)
+++ uspace/drv/bus/usb/ehci/hc.h	(revision 8bfb163a292928c29839d774b30ca9d0d0ee385e)
@@ -100,14 +100,14 @@
 
 /* Boottime operations */
-int hc_add(hc_device_t *, const hw_res_list_parsed_t *);
-int hc_start(hc_device_t *);
-int hc_setup_roothub(hc_device_t *);
-int hc_gen_irq_code(irq_code_t *, hc_device_t *, const hw_res_list_parsed_t *);
-int hc_gone(hc_device_t *);
+extern int hc_add(hc_device_t *, const hw_res_list_parsed_t *);
+extern int hc_start(hc_device_t *);
+extern int hc_setup_roothub(hc_device_t *);
+extern int hc_gen_irq_code(irq_code_t *, hc_device_t *, const hw_res_list_parsed_t *);
+extern int hc_gone(hc_device_t *);
 
 /** Runtime operations */
-void ehci_hc_interrupt(bus_t *, uint32_t);
-int ehci_hc_status(bus_t *, uint32_t *);
-int ehci_hc_schedule(usb_transfer_batch_t *);
+extern void ehci_hc_interrupt(bus_t *, uint32_t);
+extern int ehci_hc_status(bus_t *, uint32_t *);
+extern int ehci_hc_schedule(usb_transfer_batch_t *);
 
 #endif