kvm_vmx_nested_state_data
__DECLARE_FLEX_ARRAY(struct kvm_vmx_nested_state_data, vmx);
struct kvm_vmx_nested_state_data __user *user_vmx_nested_state =
struct kvm_vmx_nested_state_data __user *user_vmx_nested_state =
__DECLARE_FLEX_ARRAY(struct kvm_vmx_nested_state_data, vmx);