![]() |
L4Re Operating System Framework
Interface and Usage Documentation
|
Software VMCS field offset table. More...
#include <__vm-vmx.h>
Collaboration diagram for l4_vmx_offset_table_t:Software VMCS field offset table.
This data structure represents the following memory layout:
The offsets/limits in each size category are in the following order:
The index shifts are in the following order:
All offsets/limits/sizes are represented in a 64-byte granule.
The offsets (after being multiplied by 64) are indexes in the values array in l4_vm_vmx_vcpu_vmcs_t and bit indexes in the dirty_bitmap array in l4_vm_vmx_vcpu_vmcs_t.
The limits (after being multiplied by 64) represent the range of the available indexes.
Definition at line 155 of file __vm-vmx.h.