hake: adding missing include path to the k1om kernel
[barrelfish] / lib / barrelfish / include / arch / k1om / arch / registers.h
1 /**
2  * \file
3  * \brief Arch independent accessor functions for use in generic code.
4  * Generic include for userland
5  */
6
7 /*
8  * Copyright (c) 2010, ETH Zurich.
9  * All rights reserved.
10  *
11  * This file is distributed under the terms in the attached LICENSE file.
12  * If you do not find this file, copies can be found by writing to:
13  * ETH Zurich D-INFK, Haldeneggsteig 4, CH-8092 Zurich. Attn: Systems Group.
14  */
15
16 #ifndef ARCH_X86_64_BARRELFISH_REGISTERS_H
17 #define ARCH_X86_64_BARRELFISH_REGISTERS_H
18
19 #include <barrelfish_kpi/registers_arch.h>
20 #include <target/k1om/registers_target.h>
21
22 static inline void
23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread,
24                       lvaddr_t entry, lvaddr_t stack, uint64_t arg1,
25                       uint64_t arg2, uint64_t arg3, uint64_t arg4)
26 {
27     registers_x86_64_set_initial(regs, thread, entry, stack, arg1, arg2, arg3, arg4);
28 }
29
30 #endif // ARCH_X86_64_BARRELFISH_REGISTERS_H