vmcs_config.size is 1024 but field offsets are larger

[Kallol Biswas <kallolkernel@xxxxxxxxx>]

Hi,
    I am trying to understand the vmcs manipulation code.

It seems that we allocate 4096 bytes for vmcs, but the field offsets
are much larger.

crash> p vmcs_config.size
$15 = 1024

vmx.h:
HOST_RIP                        = 0x00006c16
GUEST_RFLAGS                    = 0x00006820

vmx.c:
flags = vmcs_readl(GUEST_RFLAGS);

I must have a gap in understanding. Maybe I should read the intel
manual carefully.

Any response?

Thank you,