hake: adding missing include path to the k1om kernel
[barrelfish] / lib / barrelfish / include / arch / k1om / arch / ldt.h
1 /**
2  * \file
3  * \brief Local descriptor table (LDT) management
4  */
5
6 /*
7  * Copyright (c) 2011, 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, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
13  */
14
15 #ifndef LIBBARRELFISH_ARCH_LDT_H
16 #define LIBBARRELFISH_ARCH_LDT_H
17
18 #include <barrelfish/ldt.h>
19
20 void ldt_init_disabled(dispatcher_handle_t handle);
21 errval_t ldt_alloc_segment_disabled(dispatcher_handle_t handle, void *segbase,
22                                     uint16_t *ret_selector);
23 errval_t ldt_free_segment_ondisp(dispatcher_handle_t handle, uint16_t selector);
24
25 #endif // LIBBARRELFISH_ARCH_LDT_H