diff options
| -rw-r--r-- | src/mainboard/jetway/nf81-t56n-lf/irq_tables.c | 4 |
1 files 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 e83c0874e5..2ffea02c84 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); |