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 = 0x43
32
};
33
38
typedef
struct
l4_vcpu_regs_t
39
{
40
l4_umword_t
es
;
41
l4_umword_t
ds
;
42
l4_umword_t
gs
;
43
l4_umword_t
fs
;
45
l4_umword_t
di
;
46
l4_umword_t
si
;
47
l4_umword_t
bp
;
48
l4_umword_t
pfa
;
49
l4_umword_t
bx
;
50
l4_umword_t
dx
;
51
l4_umword_t
cx
;
52
l4_umword_t
ax
;
54
l4_umword_t
trapno
;
55
l4_umword_t
err
;
57
l4_umword_t
ip
;
58
l4_umword_t
dummy1
;
59
l4_umword_t
flags
;
60
l4_umword_t
sp
;
61
l4_umword_t
ss
;
62
}
l4_vcpu_regs_t
;
63
64
typedef
struct
l4_vcpu_arch_state_t {} l4_vcpu_arch_state_t;
65
70
typedef
struct
l4_vcpu_ipc_regs_t
71
{
72
l4_umword_t
_res[2];
73
l4_umword_t
label;
74
l4_umword_t
_res2[3];
75
l4_msgtag_t
tag;
76
}
l4_vcpu_ipc_regs_t
;
l4_vcpu_regs_t::bp
l4_umword_t bp
rbp register
Definition:
__vcpu-arch.h:63
l4_vcpu_regs_t::dummy1
l4_umword_t dummy1
dummy
Definition:
__vcpu-arch.h:58
l4_vcpu_regs_t::ax
l4_umword_t ax
rax register
Definition:
__vcpu-arch.h:68
l4_vcpu_regs_t::di
l4_umword_t di
rdi register
Definition:
__vcpu-arch.h:61
types.h
Common L4 ABI Data Types.
l4_vcpu_regs_t::sp
l4_umword_t sp
stack pointer
Definition:
__vcpu-arch.h:46
l4_vcpu_regs_t::err
l4_umword_t err
error code
Definition:
__vcpu-arch.h:42
l4_vcpu_regs_t::flags
l4_umword_t flags
eflags
Definition:
__vcpu-arch.h:50
l4_vcpu_regs_t::bx
l4_umword_t bx
rbx register
Definition:
__vcpu-arch.h:65
l4_vcpu_regs_t::cx
l4_umword_t cx
rcx register
Definition:
__vcpu-arch.h:67
l4_vcpu_regs_t::es
l4_umword_t es
gs register
Definition:
__vcpu-arch.h:40
l4_vcpu_regs_t
struct l4_vcpu_regs_t l4_vcpu_regs_t
vCPU registers.
l4_vcpu_regs_t::si
l4_umword_t si
rsi register
Definition:
__vcpu-arch.h:62
l4_vcpu_regs_t::dx
l4_umword_t dx
rdx register
Definition:
__vcpu-arch.h:66
l4_vcpu_regs_t::pfa
l4_umword_t pfa
page fault address
Definition:
__vcpu-arch.h:41
l4_vcpu_regs_t::ss
l4_umword_t ss
ss register
Definition:
__vcpu-arch.h:77
l4_vcpu_regs_t::fs
l4_umword_t fs
fs register
Definition:
__vcpu-arch.h:43
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:49
l4_vcpu_regs_t::ds
l4_umword_t ds
fs register
Definition:
__vcpu-arch.h:41
l4_vcpu_regs_t::trapno
l4_umword_t trapno
trap number
Definition:
__vcpu-arch.h:70
l4_vcpu_ipc_regs_t
vCPU message registers.
Definition:
__vcpu-arch.h:63
l4_msgtag_t
Message tag data structure.
Definition:
types.h:159
l4_vcpu_regs_t::gs
l4_umword_t gs
gs register
Definition:
__vcpu-arch.h:42
l4_vcpu_regs_t
vCPU registers.
Definition:
__vcpu-arch.h:39
x86
l4
sys
__vcpu-arch.h
Generated on Sun Nov 25 2018 13:34:51 for L4Re - L4 Runtime Environment by
1.8.13