1/**
2 * \file
3 * \brief ACPI daemon Flounder handler functions
4 */
5
6/*
7 * Copyright (c) 2016 ETH Zurich.
8 * All rights reserved.
9 *
10 * This file is distributed under the terms in the attached LICENSE file.
11 * If you do not find this file, copies can be found by writing to:
12 * ETH Zurich D-INFK, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group.
13 */
14#include <stdio.h>
15
16#include <barrelfish/barrelfish.h>
17#include <barrelfish/nameservice_client.h>
18#include <if/acpi_defs.h>
19#include <acpi.h>
20#include <mm/mm.h>
21#include "acpi_shared.h"
22#include "acpi_debug.h"
23#include "ioapic.h"
24
25extern struct capref biosmem;
26static void get_vbe_bios_cap(struct acpi_binding *b)
27{
28    errval_t err;
29    err = b->tx_vtbl.get_vbe_bios_cap_response(b, NOP_CONT, SYS_ERR_OK, biosmem,
30                                               1UL << BIOS_BITS);
31    assert(err_is_ok(err));
32}
33
34void acpi_service_arch_init(struct acpi_rx_vtbl *acpi_rx_vtbl)
35{
36    acpi_rx_vtbl->get_vbe_bios_cap_call = get_vbe_bios_cap;
37}
38