L4Re - L4 Runtime Environment
__vcpu-arch.h
1
/*
2
* (c) 2009 Adam Lackorzynski <adam@os.inf.tu-dresden.de>,
3
* Alexander Warg <warg@os.inf.tu-dresden.de>
4
* economic rights: Technische Universität Dresden (Germany)
5
*
6
* This file is part of TUD:OS and distributed under the terms of the
7
* GNU General Public License 2.
8
* Please see the COPYING-GPL-2 file for details.
9
*
10
* As a special exception, you may use this file as part of a free software
11
* library without restriction. Specifically, if other files instantiate
12
* templates or use macros or inline functions from this file, or you compile
13
* this file and link it with other files to produce an executable, this
14
* file does not by itself cause the resulting executable to be covered by
15
* the GNU General Public License. This exception does not however
16
* invalidate any other reasons why the executable file might be covered by
17
* the GNU General Public License.
18
*/
19
#pragma once
20
21
#include <
l4/sys/types.h
>
22
23
enum
24
{
31
L4_VCPU_STATE_VERSION = 0x33
32
};
33
38
typedef
struct
l4_vcpu_regs_t
39
{
40
l4_umword_t
pfa
;
41
l4_umword_t
err
;
42
43
l4_umword_t
r[13];
44
45
l4_umword_t
sp
;
46
l4_umword_t
lr;
47
l4_umword_t
_dummy;
48
l4_umword_t
ip
;
49
l4_umword_t
flags
;
50
l4_umword_t
tpidruro
;
51
}
l4_vcpu_regs_t
;
52
53
typedef
struct
l4_vcpu_arch_state_t
54
{
55
l4_umword_t
host_tpidruro;
56
} l4_vcpu_arch_state_t;
57
62
typedef
struct
l4_vcpu_ipc_regs_t
63
{
64
l4_msgtag_t
tag;
65
l4_umword_t
_d1[3];
66
l4_umword_t
label;
67
l4_umword_t
_d2[8];
68
}
l4_vcpu_ipc_regs_t
;
types.h
Common L4 ABI Data Types.
l4_vcpu_regs_t::sp
l4_umword_t sp
stack pointer
Definition:
__vcpu-arch.h:45
l4_vcpu_regs_t::err
l4_umword_t err
error code
Definition:
__vcpu-arch.h:41
l4_vcpu_regs_t::flags
l4_umword_t flags
eflags
Definition:
__vcpu-arch.h:49
l4_vcpu_regs_t
struct l4_vcpu_regs_t l4_vcpu_regs_t
vCPU registers.
l4_vcpu_regs_t::pfa
l4_umword_t pfa
page fault address
Definition:
__vcpu-arch.h:40
l4_vcpu_regs_t::tpidruro
l4_umword_t tpidruro
Thread-ID register.
Definition:
__vcpu-arch.h:50
l4_umword_t
unsigned long l4_umword_t
Unsigned machine word.
Definition:
l4int.h:52
l4_vcpu_ipc_regs_t
struct l4_vcpu_ipc_regs_t l4_vcpu_ipc_regs_t
vCPU message registers.
l4_vcpu_regs_t::ip
l4_umword_t ip
instruction pointer
Definition:
__vcpu-arch.h:48
l4_vcpu_ipc_regs_t
vCPU message registers.
Definition:
__vcpu-arch.h:62
l4_msgtag_t
Message tag data structure.
Definition:
types.h:158
l4_vcpu_regs_t
vCPU registers.
Definition:
__vcpu-arch.h:38
arm
l4
sys
__vcpu-arch.h
Generated on Sun Sep 24 2017 23:25:59 for L4Re - L4 Runtime Environment by
1.8.13