mirror of
https://git.savannah.gnu.org/git/grub.git
synced 2026-10-24 08:09:22 +00:00
* bus/usb/usbhub.c: #include time.h header.
This commit is contained in:
1 parent
37582066cd
commit
29d7e783d2
2 files changed
+5
No files matched your search
@@ -21,6 +21,7 @@
|
||||
#include <grub/mm.h>
|
||||
#include <grub/usb.h>
|
||||
#include <grub/misc.h>
|
||||
#include <grub/time.h>
|
||||
|
||||
/* USB Supports 127 devices, with device 0 as special case. */
|
||||
static struct grub_usb_device *grub_usb_devs[128];
|
||||
|
||||
Reference in new issue
Block a user