@@ -19,7 +19,7 @@
printk(" ] "); \
printk(__VA_ARGS__); \
printk("\n"); \
- } while (0);
+ } while (0)
#define kinfo(...) \
do \
@@ -27,7 +27,7 @@
printk("[ INFO ] "); \
#define kdebug(...) \
@@ -45,7 +45,7 @@
#define kerror(...) \
@@ -55,7 +55,7 @@
#define kterminated(...) \
@@ -65,7 +65,7 @@
#define kBUG(...) \
@@ -75,4 +75,4 @@
printk(" ] (%s:%d)\t", __FILE__, __LINE__); \
@@ -215,5 +215,5 @@ void acpi_init()
;
}
- kinfo("ACPI module initialized!")
+ kinfo("ACPI module initialized!");
@@ -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.");