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