src/mainboard/tyan/s2891/mainboard.c

   1 #include <device/device.h>
   2 #include <console/console.h>
   3 #include <boot/tables.h>
   4 #include "chip.h"
   5
   6 /* in arch/i386/boot/tables.c */
   7 extern uint64_t high_tables_base, high_tables_size;
   8
   9 int add_mainboard_resources(struct lb_memory *mem)
  10 {
  11 #if HAVE_HIGH_TABLES == 1
  12         printk_debug("Adding high table area\n");
  13         lb_add_memory_range(mem, LB_MEM_TABLE,
  14                 high_tables_base, high_tables_size);
  15 #endif
  16         return 0;
  17 }
  18
  19
  20 struct chip_operations mainboard_ops = {
  21         CHIP_NAME("Tyan S2891 Mainboard")
  22 };
  23