git.barrelfish.org Git - barrelfish/blob - 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