diff options
Diffstat (limited to 'src/drivers')
-rw-r--r-- | src/drivers/generic/debug/debug_dev.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/drivers/generic/debug/debug_dev.c b/src/drivers/generic/debug/debug_dev.c index e7f3c617f5..6af5325926 100644 --- a/src/drivers/generic/debug/debug_dev.c +++ b/src/drivers/generic/debug/debug_dev.c @@ -59,7 +59,7 @@ static void print_pci_regs_all(void) } } -static void print_cpuid() +static void print_cpuid(void) { msr_t msr; unsigned index; |