1/*
2 * Copyright (c) 2007, 2008, 2009, 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, Universitaetstrasse 6, CH-8092 Zurich. Attn: Systems Group.
8 */
9
10interface ahci_mgmt "AHCI Management Daemon" {
11
12    rpc list(out uint8 port_ids[len, 128]);
13    rpc identify(in uint8 port_id, out uint8 identify_data[data_len, 512]);
14
15    rpc open(in uint8 port_id, out errval status, out cap controller_mem, out uint64 offset, out uint32 capabilities);
16    rpc close(in uint8 port_id, out errval status);
17
18    message command_completed(uint8 port_id, uint32 interrupt_status);
19};
20
21