fadt = (void *)(addr);
addr += sizeof(*fadt);
- /* XXX: FACS should be in RAM */
- addr = (addr + 63) & ~63; /* 64 byte alignment for FACS */
+ addr = ALIGN(addr, 64);
facs_addr = addr;
facs = (void *)(addr);
addr += sizeof(*facs);
addr += acpi_build_processor_ssdt(ssdt);
int smp_cpus = smp_probe();
- addr = (addr + 7) & ~7;
+ addr = ALIGN(addr, 8);
madt_addr = addr;
madt_size = sizeof(*madt) +
sizeof(struct madt_processor_apic) * smp_cpus +
/* default memory mappings */
for(i = 0; i < PCI_NUM_REGIONS; i++) {
int ofs;
- u32 val, size ;
+ u32 val, size;
if (i == PCI_ROM_SLOT)
ofs = 0x30;
paddr = &pci_bios_bigmem_addr;
else
paddr = &pci_bios_mem_addr;
- *paddr = (*paddr + size - 1) & ~(size - 1);
+ *paddr = ALIGN(*paddr, size);
pci_set_io_region_addr(d, i, *paddr);
*paddr += size;
}