struct GuestState

Defined at line 48 of file ../../zircon/kernel/arch/x86/include/arch/x86/hypervisor/vmx_state.h

Public Members

uint64_t rax

uint64_t rcx

uint64_t rdx

uint64_t rbx

uint64_t rbp

uint64_t rsi

uint64_t rdi

uint64_t r8

uint64_t r9

uint64_t r10

uint64_t r11

uint64_t r12

uint64_t r13

uint64_t r14

uint64_t r15

uint64_t cr2

uint64_t xcr0

uint32_t eax ()

Convenience getters for accessing low 32-bits of common registers.

Defined at line 73 of file ../../zircon/kernel/arch/x86/include/arch/x86/hypervisor/vmx_state.h

uint32_t ecx ()

Defined at line 74 of file ../../zircon/kernel/arch/x86/include/arch/x86/hypervisor/vmx_state.h

uint32_t edx ()

Defined at line 75 of file ../../zircon/kernel/arch/x86/include/arch/x86/hypervisor/vmx_state.h

uint32_t ebx ()

Defined at line 76 of file ../../zircon/kernel/arch/x86/include/arch/x86/hypervisor/vmx_state.h

uint64_t EdxEax ()

Convenience getter/setter for fetching the 64-bit value edx:eax, used by

several x86_64 instructions, such as `rdmsr` and `wrmsr`.

For reads, the top bits of rax and rdx are ignored (c.f. Volume 2C,

WRMSR). For writes, the top bits of rax and rdx are set to zero, matching

the behaviour of x86_64 instructions such as `rdmsr` (c.f. Volume 2C,

RDMSR).

Defined at line 85 of file ../../zircon/kernel/arch/x86/include/arch/x86/hypervisor/vmx_state.h

void SetEdxEax (uint64_t value)

Defined at line 86 of file ../../zircon/kernel/arch/x86/include/arch/x86/hypervisor/vmx_state.h