1/** \file
2 *  \brief Xeon Phi Service Interface
3 */
4
5/*
6 * Copyright (c) 2012, ETH Zurich.
7 * All rights reserved.
8 *
9 * This file is distributed under the terms in the attached LICENSE file.
10 * If you do not find this file, copies can be found by writing to:
11 * ETH Zurich D-INFK, Universitaetsstrasse 6, CH-8092 Zurich. Attn: Systems Group.
12 */
13
14interface xeon_phi_driver "Xeon Phi Service Interface" {
15
16    rpc register_(in uint8 id, 
17                 in uint64 local_apt_base,
18                 in uint64 local_apt_size, 
19                 out errval msgerr, 
20                 out uint64 other_apt_base,
21                 out uint64 other_apt_size);
22  
23    rpc bootstrap(in uint64 base, in uint8 bits, out errval msgerr); 
24};