diff --git a/kernel/common/kprint.h b/kernel/common/kprint.h index 588ead27..4fb5f3cf 100644 --- a/kernel/common/kprint.h +++ b/kernel/common/kprint.h @@ -19,7 +19,7 @@ printk(" ] "); \ printk(__VA_ARGS__); \ printk("\n"); \ - } while (0); + } while (0) #define kinfo(...) \ do \ @@ -27,7 +27,7 @@ printk("[ INFO ] "); \ printk(__VA_ARGS__); \ printk("\n"); \ - } while (0); + } while (0) #define kdebug(...) \ do \ @@ -45,7 +45,7 @@ printk(" ] "); \ printk(__VA_ARGS__); \ printk("\n"); \ - } while (0); + } while (0) #define kerror(...) \ do \ @@ -55,7 +55,7 @@ printk(" ] "); \ printk(__VA_ARGS__); \ printk("\n"); \ - } while (0); + } while (0) #define kterminated(...) \ do \ @@ -65,7 +65,7 @@ printk(" ] "); \ printk(__VA_ARGS__); \ printk("\n"); \ - } while (0); + } while (0) #define kBUG(...) \ do \ @@ -75,4 +75,4 @@ printk(" ] (%s:%d)\t", __FILE__, __LINE__); \ printk(__VA_ARGS__); \ printk("\n"); \ - } while (0); + } while (0) diff --git a/kernel/driver/acpi/acpi.c b/kernel/driver/acpi/acpi.c index 10dcf9b0..fc14abed 100644 --- a/kernel/driver/acpi/acpi.c +++ b/kernel/driver/acpi/acpi.c @@ -215,5 +215,5 @@ void acpi_init() ; } - kinfo("ACPI module initialized!") + kinfo("ACPI module initialized!"); } \ No newline at end of file diff --git a/kernel/driver/pci/pci.c b/kernel/driver/pci/pci.c index e2ad0fed..f3b54df3 100644 --- a/kernel/driver/pci/pci.c +++ b/kernel/driver/pci/pci.c @@ -466,7 +466,7 @@ void pci_init() ptr = container_of(list_next(&(ptr->list)), struct pci_device_structure_header_t, list); } - kinfo("PCI bus initialized.") + kinfo("PCI bus initialized."); }