pub const KVM_STATE_NESTED_VMX_VMCS_SIZE: u32 = 4096;