Add more missing GPL-headers, fix inconsistencies in others.
[coreboot.git] / src / southbridge / broadcom / bcm5785 / bcm5785_lpc.c
index bf70ef323ca030a1f54e035bb41c33642e594ecc..adf546245fde73198b12901be05d9794c66a9ff2 100644 (file)
@@ -1,6 +1,21 @@
 /*
- * Copyright  2005 AMD
- *  by yinghai.lu@amd.com
+ * This file is part of the coreboot project.
+ *
+ * Copyright (C) 2005 AMD
+ * Written by Yinghai Lu <yinghai.lu@amd.com> for AMD.
+ *
+ * This program is free software; you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation; version 2 of the License.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Public License for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program; if not, write to the Free Software
+ * Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA  02110-1301 USA
  */
 
 #include <console/console.h>
 
 static void lpc_init(device_t dev)
 {
-
        /* Initialize the real time clock */
        rtc_init(0);
 
        /* Initialize isa dma */
        isa_dma_init();
-
 }
 
 static void bcm5785_lpc_read_resources(device_t dev)
@@ -54,10 +67,9 @@ static void bcm5785_lpc_read_resources(device_t dev)
 }
 
 /**
- * @brief Enable resources for children devices
- *
- * @param dev the device whos children's resources are to be enabled
+ * Enable resources for children devices.
  *
+ * @param dev The device whos children's resources are to be enabled.
  */
 static void bcm5785_lpc_enable_childrens_resources(device_t dev)
 {
@@ -128,9 +140,9 @@ static struct device_operations lpc_ops  = {
 //     .enable           = bcm5785_enable,
        .ops_pci          = &lops_pci,
 };
+
 static const struct pci_driver lpc_driver __pci_driver = {
        .ops    = &lpc_ops,
        .vendor = PCI_VENDOR_ID_SERVERWORKS,
        .device = PCI_DEVICE_ID_SERVERWORKS_BCM5785_LPC,
 };
-