L4Re - L4 Runtime Environment
l4_vcpu_regs_t Struct Reference

vCPU registers. More...

#include <__vcpu-arch.h>

+ Collaboration diagram for l4_vcpu_regs_t:

Data Fields

l4_umword_t pfa
 page fault address
l4_umword_t err
 error code
l4_umword_t sp
 stack pointer
l4_umword_t ip
 instruction pointer
l4_umword_t flags
l4_umword_t tpidruro
 Thread-ID register.
l4_umword_t r15
 r15 register
l4_umword_t r14
 r14 register
l4_umword_t r13
 r13 register
l4_umword_t r12
 r12 register
l4_umword_t r11
 r11 register
l4_umword_t r10
 r10 register
l4_umword_t r9
 r9 register
l4_umword_t r8
 r8 register
l4_umword_t di
 rdi register More...
l4_umword_t si
 rsi register More...
l4_umword_t bp
 rbp register More...
l4_umword_t bx
 rbx register More...
l4_umword_t dx
 rdx register More...
l4_umword_t cx
 rcx register More...
l4_umword_t ax
 rax register More...
l4_umword_t trapno
 trap number
l4_umword_t cs
l4_umword_t ss
 ss register
l4_umword_t es
 gs register
l4_umword_t ds
 fs register
l4_umword_t gs
 gs register
l4_umword_t fs
 fs register
l4_umword_t dummy1

Detailed Description

vCPU registers.

Definition at line 38 of file __vcpu-arch.h.

Field Documentation

◆ ax

l4_umword_t l4_vcpu_regs_t::ax

rax register

eax register

Definition at line 68 of file __vcpu-arch.h.

◆ bp

l4_umword_t l4_vcpu_regs_t::bp

rbp register

ebp register

Definition at line 63 of file __vcpu-arch.h.

◆ bx

l4_umword_t l4_vcpu_regs_t::bx

rbx register

ebx register

Definition at line 65 of file __vcpu-arch.h.

◆ cx

l4_umword_t l4_vcpu_regs_t::cx

rcx register

ecx register

Definition at line 67 of file __vcpu-arch.h.

◆ di

l4_umword_t l4_vcpu_regs_t::di

rdi register

edi register

Definition at line 61 of file __vcpu-arch.h.

◆ dx

l4_umword_t l4_vcpu_regs_t::dx

rdx register

edx register

Definition at line 66 of file __vcpu-arch.h.

◆ si

l4_umword_t l4_vcpu_regs_t::si

rsi register

esi register

Definition at line 62 of file __vcpu-arch.h.

The documentation for this struct was generated from the following file: