diff options
| author | Elyes Haouas <ehaouas@noos.fr> | 2022-09-11 12:06:44 +0200 |
|---|---|---|
| committer | Felix Held <felix-coreboot@felixheld.de> | 2022-09-12 15:27:51 +0000 |
| commit | 726bf1806557474a7de57837dd3ba96a45753944 (patch) | |
| tree | aa83f0acea3a6172d09c9a4045fdaf5c79fc69ac /src/mainboard | |
| parent | 2cd41c63717da6668470d3f0b6be0d383029bbe7 (diff) | |
mb/pcengines/apu{1,2}/irq_tables.c: Use ALIGN_UP macro
Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Change-Id: I5331c7127905524517efa50158bde8d6a1c5f1eb
Reviewed-on: https://review.coreboot.org/c/coreboot/+/67507
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
Diffstat (limited to 'src/mainboard')
| -rw-r--r-- | src/mainboard/pcengines/apu1/irq_tables.c | 4 | ||||
| -rw-r--r-- | src/mainboard/pcengines/apu2/irq_tables.c | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/src/mainboard/pcengines/apu1/irq_tables.c b/src/mainboard/pcengines/apu1/irq_tables.c index 398594f828..06880eb107 100644 --- a/src/mainboard/pcengines/apu1/irq_tables.c +++ b/src/mainboard/pcengines/apu1/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/pcengines/apu2/irq_tables.c b/src/mainboard/pcengines/apu2/irq_tables.c index 6c2b05c02b..fcd4772116 100644 --- a/src/mainboard/pcengines/apu2/irq_tables.c +++ b/src/mainboard/pcengines/apu2/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); |