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