1/*
2 * Copyright (c) 2016, ETH Zurich.
3 * All rights reserved.
4 *
5 * This file is distributed under the terms in the attached LICENSE file.
6 * If you do not find this file, copies can be found by writing to:
7 * ETH Zurich D-INFK, Universitaetstr. 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9
10#ifndef _AHCID_
11#define _AHCID_
12
13#include <stdio.h>
14#include <string.h>
15#include <barrelfish/barrelfish.h>
16#include <barrelfish/waitset.h>
17#include <barrelfish/waitset_chan.h>
18#include <barrelfish/syscalls.h>
19#include <barrelfish/nameservice_client.h>
20#include <pci/pci.h>
21#include <skb/skb.h>
22#include <blk/ahci.h>
23
24#define DISABLE_INTERRUPTS 1
25
26extern void* dq;
27extern struct waitset disk_ws;
28
29#endif // _AHCID_
30