src/arch/ppc64/tables.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <bootmem.h>
   4 #include <boot/tables.h>
   5 #include <boot/coreboot_tables.h>
   6
   7 void arch_write_tables(uintptr_t coreboot_table)
   8 {
   9 }
  10
  11 void bootmem_arch_add_ranges(void)
  12 {
  13 }
  14
  15 void lb_arch_add_records(struct lb_header *header)
  16 {
  17 }