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/x86_64/registers_target.h>
21
22static inline void
23registers_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
31