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