diff options
author | Elyes Haouas <ehaouas@noos.fr> | 2022-09-11 12:02:46 +0200 |
---|---|---|
committer | Felix Held <felix-coreboot@felixheld.de> | 2022-09-12 15:26:42 +0000 |
commit | e378cdbb618e583ff09cc64ceefdd9365ff3d815 (patch) | |
tree | 2305d8c290cccb312e676b81f1088f8d5463d2be /src/mainboard/amd | |
parent | 593b0f1f23505e2eb207649c49d2c96c46f1a2aa (diff) |
mb/amd/*/irq_tables.cmb/*/*/irq_tables.c: Use ALIGN_UP macro
Change-Id: I2bd5e09f51918fe4c7e954edf54ab4d9bc629fd1
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/61919
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Diffstat (limited to 'src/mainboard/amd')
-rw-r--r-- | src/mainboard/amd/gardenia/irq_tables.c | 4 | ||||
-rw-r--r-- | src/mainboard/amd/inagua/irq_tables.c | 4 | ||||
-rw-r--r-- | src/mainboard/amd/olivehill/irq_tables.c | 4 | ||||
-rw-r--r-- | src/mainboard/amd/parmer/irq_tables.c | 4 | ||||
-rw-r--r-- | src/mainboard/amd/persimmon/irq_tables.c | 3 | ||||
-rw-r--r-- | src/mainboard/amd/south_station/irq_tables.c | 4 | ||||
-rw-r--r-- | src/mainboard/amd/thatcher/irq_tables.c | 4 | ||||
-rw-r--r-- | src/mainboard/amd/union_station/irq_tables.c | 4 |
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); |