pub const KVM_STATE_NESTED_FORMAT_VMX: u32 = 0;