summaryrefslogtreecommitdiff
path: root/src/mainboard
diff options
context:
space:
mode:
Diffstat (limited to 'src/mainboard')
-rw-r--r--src/mainboard/amd/gardenia/irq_tables.c4
-rw-r--r--src/mainboard/amd/inagua/irq_tables.c4
-rw-r--r--src/mainboard/amd/olivehill/irq_tables.c4
-rw-r--r--src/mainboard/amd/parmer/irq_tables.c4
-rw-r--r--src/mainboard/amd/persimmon/irq_tables.c3
-rw-r--r--src/mainboard/amd/south_station/irq_tables.c4
-rw-r--r--src/mainboard/amd/thatcher/irq_tables.c4
-rw-r--r--src/mainboard/amd/union_station/irq_tables.c4
8 files changed, 15 insertions, 16 deletions
diff --git a/src/mainboard/amd/gardenia/irq_tables.c b/src/mainboard/amd/gardenia/irq_tables.c
index 3df5011efd..2eefedecc9 100644
--- a/src/mainboard/amd/gardenia/irq_tables.c
+++ b/src/mainboard/amd/gardenia/irq_tables.c
@@ -1,6 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
+#include <commonlib/bsd/helpers.h>
#include <device/pci_def.h>
#include <string.h>
#include <stdint.h>
@@ -36,8 +37,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
diff --git a/src/mainboard/amd/inagua/irq_tables.c b/src/mainboard/amd/inagua/irq_tables.c
index 60ac2c0d3d..4f239948ca 100644
--- a/src/mainboard/amd/inagua/irq_tables.c
+++ b/src/mainboard/amd/inagua/irq_tables.c
@@ -1,6 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
+#include <commonlib/bsd/helpers.h>
#include <device/pci_def.h>
#include <string.h>
#include <stdint.h>
@@ -36,8 +37,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
diff --git a/src/mainboard/amd/olivehill/irq_tables.c b/src/mainboard/amd/olivehill/irq_tables.c
index 60ac2c0d3d..4f239948ca 100644
--- a/src/mainboard/amd/olivehill/irq_tables.c
+++ b/src/mainboard/amd/olivehill/irq_tables.c
@@ -1,6 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
+#include <commonlib/bsd/helpers.h>
#include <device/pci_def.h>
#include <string.h>
#include <stdint.h>
@@ -36,8 +37,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
diff --git a/src/mainboard/amd/parmer/irq_tables.c b/src/mainboard/amd/parmer/irq_tables.c
index 60ac2c0d3d..4f239948ca 100644
--- a/src/mainboard/amd/parmer/irq_tables.c
+++ b/src/mainboard/amd/parmer/irq_tables.c
@@ -1,6 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
+#include <commonlib/bsd/helpers.h>
#include <device/pci_def.h>
#include <string.h>
#include <stdint.h>
@@ -36,8 +37,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
diff --git a/src/mainboard/amd/persimmon/irq_tables.c b/src/mainboard/amd/persimmon/irq_tables.c
index 60ac2c0d3d..85ab57abc6 100644
--- a/src/mainboard/amd/persimmon/irq_tables.c
+++ b/src/mainboard/amd/persimmon/irq_tables.c
@@ -36,8 +36,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
diff --git a/src/mainboard/amd/south_station/irq_tables.c b/src/mainboard/amd/south_station/irq_tables.c
index 60ac2c0d3d..4f239948ca 100644
--- a/src/mainboard/amd/south_station/irq_tables.c
+++ b/src/mainboard/amd/south_station/irq_tables.c
@@ -1,6 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
+#include <commonlib/bsd/helpers.h>
#include <device/pci_def.h>
#include <string.h>
#include <stdint.h>
@@ -36,8 +37,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
diff --git a/src/mainboard/amd/thatcher/irq_tables.c b/src/mainboard/amd/thatcher/irq_tables.c
index 60ac2c0d3d..4f239948ca 100644
--- a/src/mainboard/amd/thatcher/irq_tables.c
+++ b/src/mainboard/amd/thatcher/irq_tables.c
@@ -1,6 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
+#include <commonlib/bsd/helpers.h>
#include <device/pci_def.h>
#include <string.h>
#include <stdint.h>
@@ -36,8 +37,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);
diff --git a/src/mainboard/amd/union_station/irq_tables.c b/src/mainboard/amd/union_station/irq_tables.c
index 60ac2c0d3d..4f239948ca 100644
--- a/src/mainboard/amd/union_station/irq_tables.c
+++ b/src/mainboard/amd/union_station/irq_tables.c
@@ -1,6 +1,7 @@
/* SPDX-License-Identifier: GPL-2.0-only */
#include <console/console.h>
+#include <commonlib/bsd/helpers.h>
#include <device/pci_def.h>
#include <string.h>
#include <stdint.h>
@@ -36,8 +37,7 @@ unsigned long write_pirq_routing_table(unsigned long addr)
int i;
/* Align the table to be 16 byte aligned. */
- addr += 15;
- addr &= ~15;
+ addr = ALIGN_UP(addr, 16);
/* This table must be between 0xf0000 & 0x100000 */
printk(BIOS_INFO, "Writing IRQ routing tables to 0x%lx...", addr);