From 1335f4bb81fd85b866ba79d6babc7db4664da42e Mon Sep 17 00:00:00 2001
From: Elyes Haouas <ehaouas@noos.fr>
Date: Sun, 11 Sep 2022 12:11:18 +0200
Subject: mb/jetway/nf81-t56n-lf/irq_tables.c: Use ALIGN_UP macro

Signed-off-by: Elyes Haouas <ehaouas@noos.fr>
Change-Id: I86d664c7ebdd8ff8b47b498da7c861c11a80892c
Reviewed-on: https://review.coreboot.org/c/coreboot/+/67514
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Felix Held <felix-coreboot@felixheld.de>
---
 src/mainboard/jetway/nf81-t56n-lf/irq_tables.c | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/mainboard/jetway/nf81-t56n-lf/irq_tables.c b/src/mainboard/jetway/nf81-t56n-lf/irq_tables.c
index e83c0874e52f..2ffea02c8426 100644
--- a/src/mainboard/jetway/nf81-t56n-lf/irq_tables.c
+++ b/src/mainboard/jetway/nf81-t56n-lf/irq_tables.c
@@ -2,6 +2,7 @@
 
 #include <arch/pirq_routing.h>
 #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 table on 16 byte boundary. */
-	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);
-- 
cgit v1.2.3