1  /* SPDX-License-Identifier: GPL-2.0-only */
 2  
 3  #include <console/console.h>
 4  #include <acpi/acpi.h>
 5  #include <acpi/acpigen.h>
 6  #include <device/device.h>
 7  #include "x4x.h"
 8  
 9  unsigned long northbridge_write_acpi_tables(const struct device *device,
10  					    unsigned long start,
11  					    struct acpi_rsdp *rsdp)
12  {
13  	unsigned long current;
14  	current = acpi_align_current(start);
15  
16  	printk(BIOS_DEBUG, "current = %lx\n", current);
17  
18  	return current;
19  }