1/** 2 * \file acpi_allocators_arch.c 3 * \brief 4 */ 5 6 7/* 8 * Copyright (c) 2017 ETH Zurich. 9 * All rights reserved. 10 * 11 * This file is distributed under the terms in the attached LICENSE file. 12 * If you do not find this file, copies can be found by writing to: 13 * ETH Zurich D-INFK, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group. 14 */ 15 16#include <barrelfish/barrelfish.h> 17#include <mm/mm.h> 18 19#include "acpi_debug.h" 20#include "acpi_shared.h" 21#include "acpi_allocators.h" 22 23errval_t acpi_allocators_init_arch(struct bootinfo *bootinfo) 24{ 25 for (int i = 0; i < bootinfo->regions_length; i++) { 26 struct mem_region *mrp = &bootinfo->regions[i]; 27 if (mrp->mr_type == RegionType_ACPI_TABLE) { 28 debug_printf("FOUND ACPI TABLE: %" PRIxGENPADDR "\n", mrp->mr_base); 29 30 AcpiOsSetRootPointer(mrp->mr_base); 31 } 32 } 33 return SYS_ERR_OK; 34} 35