l4/pkg/l4re-core/l4sys/include/ARCH-ppc32/__vcpu-arch.h

   1 /*
   2  * (c) 2010 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
   3  *     economic rights: Technische Universität Dresden (Germany)
   4  *
   5  * This file is part of TUD:OS and distributed under the terms of the
   6  * GNU General Public License 2.
   7  * Please see the COPYING-GPL-2 file for details.
   8  *
   9  * As a special exception, you may use this file as part of a free software
  10  * library without restriction.  Specifically, if other files instantiate
  11  * templates or use macros or inline functions from this file, or you compile
  12  * this file and link it with other files to produce an executable, this
  13  * file does not by itself cause the resulting executable to be covered by
  14  * the GNU General Public License.  This exception does not however
  15  * invalidate any other reasons why the executable file might be covered by
  16  * the GNU General Public License.
  17  */
  18 #pragma once
  19
  20 #include <l4/sys/types.h>
  21
  22 /**
  23  * \brief vCPU registers.
  24  * \ingroup l4_vcpu_api
  25  */
  26 typedef struct l4_vcpu_regs_t
  27 {
  28   l4_umword_t pfa;
  29   l4_umword_t err;
  30
  31   l4_umword_t r[28];
  32   l4_umword_t sp;
  33   l4_umword_t lr;
  34   l4_umword_t _dummy;
  35   l4_umword_t ip;
  36   l4_umword_t flags;
  37
  38   /* And some more */
  39 } l4_vcpu_regs_t;
  40
  41 typedef struct l4_vcpu_arch_state_t {} l4_vcpu_arch_state_t;
  42
  43 /**
  44  * \brief vCPU message registers.
  45  * \ingroup l4_vcpu_api
  46  */
  47 typedef struct l4_vcpu_ipc_regs_t
  48 {
  49   l4_msgtag_t tag;
  50   l4_umword_t _d1[3];
  51   l4_umword_t label;
  52   l4_umword_t _d2[8];
  53 } l4_vcpu_ipc_regs_t;