xref: /qemu/rust/qemu-api/src/vmstate.rs (revision 80aa3045bd42bec287d1f9bcc94be32a4c1b582e)
10a65e412SManos Pitsidianakis // Copyright 2024, Linaro Limited
20a65e412SManos Pitsidianakis // Author(s): Manos Pitsidianakis <manos.pitsidianakis@linaro.org>
30a65e412SManos Pitsidianakis // SPDX-License-Identifier: GPL-2.0-or-later
40a65e412SManos Pitsidianakis 
50a65e412SManos Pitsidianakis //! Helper macros to declare migration state for device models.
60a65e412SManos Pitsidianakis //!
70d43ddaeSPaolo Bonzini //! This module includes three families of macros:
80d43ddaeSPaolo Bonzini //!
90d43ddaeSPaolo Bonzini //! * [`vmstate_unused!`](crate::vmstate_unused) and
100d43ddaeSPaolo Bonzini //!   [`vmstate_of!`](crate::vmstate_of), which are used to express the
110d43ddaeSPaolo Bonzini //!   migration format for a struct.  This is based on the [`VMState`] trait,
120d43ddaeSPaolo Bonzini //!   which is defined by all migrateable types.
130d43ddaeSPaolo Bonzini //!
140d43ddaeSPaolo Bonzini //! * helper macros to declare a device model state struct, in particular
150a65e412SManos Pitsidianakis //!   [`vmstate_subsections`](crate::vmstate_subsections) and
160d43ddaeSPaolo Bonzini //!   [`vmstate_fields`](crate::vmstate_fields).
170d43ddaeSPaolo Bonzini //!
180d43ddaeSPaolo Bonzini //! * direct equivalents to the C macros declared in
190d43ddaeSPaolo Bonzini //!   `include/migration/vmstate.h`. These are not type-safe and should not be
200d43ddaeSPaolo Bonzini //!   used if the equivalent functionality is available with `vmstate_of!`.
210a65e412SManos Pitsidianakis 
22*80aa3045SPaolo Bonzini use core::{marker::PhantomData, mem, ptr::NonNull};
230d43ddaeSPaolo Bonzini 
24*80aa3045SPaolo Bonzini use crate::bindings::VMStateFlags;
250d43ddaeSPaolo Bonzini pub use crate::bindings::{VMStateDescription, VMStateField};
260d43ddaeSPaolo Bonzini 
270d43ddaeSPaolo Bonzini /// This macro is used to call a function with a generic argument bound
280d43ddaeSPaolo Bonzini /// to the type of a field.  The function must take a
290d43ddaeSPaolo Bonzini /// [`PhantomData`]`<T>` argument; `T` is the type of
300d43ddaeSPaolo Bonzini /// field `$field` in the `$typ` type.
310d43ddaeSPaolo Bonzini ///
320d43ddaeSPaolo Bonzini /// # Examples
330d43ddaeSPaolo Bonzini ///
340d43ddaeSPaolo Bonzini /// ```
350d43ddaeSPaolo Bonzini /// # use qemu_api::call_func_with_field;
360d43ddaeSPaolo Bonzini /// # use core::marker::PhantomData;
370d43ddaeSPaolo Bonzini /// const fn size_of_field<T>(_: PhantomData<T>) -> usize {
380d43ddaeSPaolo Bonzini ///     std::mem::size_of::<T>()
390d43ddaeSPaolo Bonzini /// }
400d43ddaeSPaolo Bonzini ///
410d43ddaeSPaolo Bonzini /// struct Foo {
420d43ddaeSPaolo Bonzini ///     x: u16,
430d43ddaeSPaolo Bonzini /// };
440d43ddaeSPaolo Bonzini /// // calls size_of_field::<u16>()
450d43ddaeSPaolo Bonzini /// assert_eq!(call_func_with_field!(size_of_field, Foo, x), 2);
460d43ddaeSPaolo Bonzini /// ```
470d43ddaeSPaolo Bonzini #[macro_export]
480d43ddaeSPaolo Bonzini macro_rules! call_func_with_field {
490d43ddaeSPaolo Bonzini     // Based on the answer by user steffahn (Frank Steffahn) at
500d43ddaeSPaolo Bonzini     // https://users.rust-lang.org/t/inferring-type-of-field/122857
510d43ddaeSPaolo Bonzini     // and used under MIT license
520d43ddaeSPaolo Bonzini     ($func:expr, $typ:ty, $($field:tt).+) => {
530d43ddaeSPaolo Bonzini         $func(loop {
540d43ddaeSPaolo Bonzini             #![allow(unreachable_code)]
550d43ddaeSPaolo Bonzini             const fn phantom__<T>(_: &T) -> ::core::marker::PhantomData<T> { ::core::marker::PhantomData }
560d43ddaeSPaolo Bonzini             // Unreachable code is exempt from checks on uninitialized values.
570d43ddaeSPaolo Bonzini             // Use that trick to infer the type of this PhantomData.
580d43ddaeSPaolo Bonzini             break ::core::marker::PhantomData;
590d43ddaeSPaolo Bonzini             break phantom__(&{ let value__: $typ; value__.$($field).+ });
600d43ddaeSPaolo Bonzini         })
610d43ddaeSPaolo Bonzini     };
620d43ddaeSPaolo Bonzini }
630d43ddaeSPaolo Bonzini 
640d43ddaeSPaolo Bonzini /// A trait for types that can be included in a device's migration stream.  It
650d43ddaeSPaolo Bonzini /// provides the base contents of a `VMStateField` (minus the name and offset).
660d43ddaeSPaolo Bonzini ///
670d43ddaeSPaolo Bonzini /// # Safety
680d43ddaeSPaolo Bonzini ///
690d43ddaeSPaolo Bonzini /// The contents of this trait go straight into structs that are parsed by C
700d43ddaeSPaolo Bonzini /// code and used to introspect into other structs.  Be careful.
710d43ddaeSPaolo Bonzini pub unsafe trait VMState {
720d43ddaeSPaolo Bonzini     /// The base contents of a `VMStateField` (minus the name and offset) for
730d43ddaeSPaolo Bonzini     /// the type that is implementing the trait.
740d43ddaeSPaolo Bonzini     const BASE: VMStateField;
750d43ddaeSPaolo Bonzini }
760d43ddaeSPaolo Bonzini 
770d43ddaeSPaolo Bonzini /// Internal utility function to retrieve a type's `VMStateField`;
780d43ddaeSPaolo Bonzini /// used by [`vmstate_of!`](crate::vmstate_of).
790d43ddaeSPaolo Bonzini pub const fn vmstate_base<T: VMState>(_: PhantomData<T>) -> VMStateField {
800d43ddaeSPaolo Bonzini     T::BASE
810d43ddaeSPaolo Bonzini }
820d43ddaeSPaolo Bonzini 
830d43ddaeSPaolo Bonzini /// Return the `VMStateField` for a field of a struct.  The field must be
840d43ddaeSPaolo Bonzini /// visible in the current scope.
850d43ddaeSPaolo Bonzini ///
860d43ddaeSPaolo Bonzini /// In order to support other types, the trait `VMState` must be implemented
870d43ddaeSPaolo Bonzini /// for them.
880d43ddaeSPaolo Bonzini #[macro_export]
890d43ddaeSPaolo Bonzini macro_rules! vmstate_of {
900d43ddaeSPaolo Bonzini     ($struct_name:ty, $field_name:ident $(,)?) => {
910d43ddaeSPaolo Bonzini         $crate::bindings::VMStateField {
920d43ddaeSPaolo Bonzini             name: ::core::concat!(::core::stringify!($field_name), "\0")
930d43ddaeSPaolo Bonzini                 .as_bytes()
940d43ddaeSPaolo Bonzini                 .as_ptr() as *const ::std::os::raw::c_char,
950d43ddaeSPaolo Bonzini             offset: $crate::offset_of!($struct_name, $field_name),
960d43ddaeSPaolo Bonzini             // Compute most of the VMStateField from the type of the field.
970d43ddaeSPaolo Bonzini             ..$crate::call_func_with_field!(
980d43ddaeSPaolo Bonzini                 $crate::vmstate::vmstate_base,
990d43ddaeSPaolo Bonzini                 $struct_name,
1000d43ddaeSPaolo Bonzini                 $field_name
1010d43ddaeSPaolo Bonzini             )
1020d43ddaeSPaolo Bonzini         }
1030d43ddaeSPaolo Bonzini     };
1040d43ddaeSPaolo Bonzini }
1050d43ddaeSPaolo Bonzini 
106*80aa3045SPaolo Bonzini impl VMStateFlags {
107*80aa3045SPaolo Bonzini     const VMS_VARRAY_FLAGS: VMStateFlags = VMStateFlags(
108*80aa3045SPaolo Bonzini         VMStateFlags::VMS_VARRAY_INT32.0
109*80aa3045SPaolo Bonzini             | VMStateFlags::VMS_VARRAY_UINT8.0
110*80aa3045SPaolo Bonzini             | VMStateFlags::VMS_VARRAY_UINT16.0
111*80aa3045SPaolo Bonzini             | VMStateFlags::VMS_VARRAY_UINT32.0,
112*80aa3045SPaolo Bonzini     );
113*80aa3045SPaolo Bonzini }
114*80aa3045SPaolo Bonzini 
1150d43ddaeSPaolo Bonzini // Add a couple builder-style methods to VMStateField, allowing
1160d43ddaeSPaolo Bonzini // easy derivation of VMStateField constants from other types.
1170d43ddaeSPaolo Bonzini impl VMStateField {
1180d43ddaeSPaolo Bonzini     #[must_use]
1190d43ddaeSPaolo Bonzini     pub const fn with_version_id(mut self, version_id: i32) -> Self {
1200d43ddaeSPaolo Bonzini         assert!(version_id >= 0);
1210d43ddaeSPaolo Bonzini         self.version_id = version_id;
1220d43ddaeSPaolo Bonzini         self
1230d43ddaeSPaolo Bonzini     }
124*80aa3045SPaolo Bonzini 
125*80aa3045SPaolo Bonzini     #[must_use]
126*80aa3045SPaolo Bonzini     pub const fn with_array_flag(mut self, num: usize) -> Self {
127*80aa3045SPaolo Bonzini         assert!(num <= 0x7FFF_FFFFusize);
128*80aa3045SPaolo Bonzini         assert!((self.flags.0 & VMStateFlags::VMS_ARRAY.0) == 0);
129*80aa3045SPaolo Bonzini         assert!((self.flags.0 & VMStateFlags::VMS_VARRAY_FLAGS.0) == 0);
130*80aa3045SPaolo Bonzini         if (self.flags.0 & VMStateFlags::VMS_POINTER.0) != 0 {
131*80aa3045SPaolo Bonzini             self.flags = VMStateFlags(self.flags.0 & !VMStateFlags::VMS_POINTER.0);
132*80aa3045SPaolo Bonzini             self.flags = VMStateFlags(self.flags.0 | VMStateFlags::VMS_ARRAY_OF_POINTER.0);
133*80aa3045SPaolo Bonzini         }
134*80aa3045SPaolo Bonzini         self.flags = VMStateFlags(self.flags.0 & !VMStateFlags::VMS_SINGLE.0);
135*80aa3045SPaolo Bonzini         self.flags = VMStateFlags(self.flags.0 | VMStateFlags::VMS_ARRAY.0);
136*80aa3045SPaolo Bonzini         self.num = num as i32;
137*80aa3045SPaolo Bonzini         self
138*80aa3045SPaolo Bonzini     }
139*80aa3045SPaolo Bonzini 
140*80aa3045SPaolo Bonzini     #[must_use]
141*80aa3045SPaolo Bonzini     pub const fn with_pointer_flag(mut self) -> Self {
142*80aa3045SPaolo Bonzini         assert!((self.flags.0 & VMStateFlags::VMS_POINTER.0) == 0);
143*80aa3045SPaolo Bonzini         self.flags = VMStateFlags(self.flags.0 | VMStateFlags::VMS_POINTER.0);
144*80aa3045SPaolo Bonzini         self
145*80aa3045SPaolo Bonzini     }
146*80aa3045SPaolo Bonzini }
147*80aa3045SPaolo Bonzini 
148*80aa3045SPaolo Bonzini // Transparent wrappers: just use the internal type
149*80aa3045SPaolo Bonzini 
150*80aa3045SPaolo Bonzini macro_rules! impl_vmstate_transparent {
151*80aa3045SPaolo Bonzini     ($type:ty where $base:tt: VMState $($where:tt)*) => {
152*80aa3045SPaolo Bonzini         unsafe impl<$base> VMState for $type where $base: VMState $($where)* {
153*80aa3045SPaolo Bonzini             const BASE: VMStateField = VMStateField {
154*80aa3045SPaolo Bonzini                 size: mem::size_of::<$type>(),
155*80aa3045SPaolo Bonzini                 ..<$base as VMState>::BASE
156*80aa3045SPaolo Bonzini             };
157*80aa3045SPaolo Bonzini         }
158*80aa3045SPaolo Bonzini     };
159*80aa3045SPaolo Bonzini }
160*80aa3045SPaolo Bonzini 
161*80aa3045SPaolo Bonzini impl_vmstate_transparent!(std::cell::Cell<T> where T: VMState);
162*80aa3045SPaolo Bonzini impl_vmstate_transparent!(std::cell::UnsafeCell<T> where T: VMState);
163*80aa3045SPaolo Bonzini impl_vmstate_transparent!(crate::cell::BqlCell<T> where T: VMState);
164*80aa3045SPaolo Bonzini impl_vmstate_transparent!(crate::cell::BqlRefCell<T> where T: VMState);
165*80aa3045SPaolo Bonzini 
166*80aa3045SPaolo Bonzini // Pointer types using the underlying type's VMState plus VMS_POINTER
167*80aa3045SPaolo Bonzini // Note that references are not supported, though references to cells
168*80aa3045SPaolo Bonzini // could be allowed.
169*80aa3045SPaolo Bonzini 
170*80aa3045SPaolo Bonzini macro_rules! impl_vmstate_pointer {
171*80aa3045SPaolo Bonzini     ($type:ty where $base:tt: VMState $($where:tt)*) => {
172*80aa3045SPaolo Bonzini         unsafe impl<$base> VMState for $type where $base: VMState $($where)* {
173*80aa3045SPaolo Bonzini             const BASE: VMStateField = <$base as VMState>::BASE.with_pointer_flag();
174*80aa3045SPaolo Bonzini         }
175*80aa3045SPaolo Bonzini     };
176*80aa3045SPaolo Bonzini }
177*80aa3045SPaolo Bonzini 
178*80aa3045SPaolo Bonzini impl_vmstate_pointer!(*const T where T: VMState);
179*80aa3045SPaolo Bonzini impl_vmstate_pointer!(*mut T where T: VMState);
180*80aa3045SPaolo Bonzini impl_vmstate_pointer!(NonNull<T> where T: VMState);
181*80aa3045SPaolo Bonzini 
182*80aa3045SPaolo Bonzini // Unlike C pointers, Box is always non-null therefore there is no need
183*80aa3045SPaolo Bonzini // to specify VMS_ALLOC.
184*80aa3045SPaolo Bonzini impl_vmstate_pointer!(Box<T> where T: VMState);
185*80aa3045SPaolo Bonzini 
186*80aa3045SPaolo Bonzini // Arrays using the underlying type's VMState plus
187*80aa3045SPaolo Bonzini // VMS_ARRAY/VMS_ARRAY_OF_POINTER
188*80aa3045SPaolo Bonzini 
189*80aa3045SPaolo Bonzini unsafe impl<T: VMState, const N: usize> VMState for [T; N] {
190*80aa3045SPaolo Bonzini     const BASE: VMStateField = <T as VMState>::BASE.with_array_flag(N);
1910d43ddaeSPaolo Bonzini }
192716d89f9SPaolo Bonzini 
1930a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_UNUSED_BUFFER")]
1940a65e412SManos Pitsidianakis #[macro_export]
1950a65e412SManos Pitsidianakis macro_rules! vmstate_unused_buffer {
1960a65e412SManos Pitsidianakis     ($field_exists_fn:expr, $version_id:expr, $size:expr) => {{
1970a65e412SManos Pitsidianakis         $crate::bindings::VMStateField {
198718e255fSPaolo Bonzini             name: c_str!("unused").as_ptr(),
1990a65e412SManos Pitsidianakis             err_hint: ::core::ptr::null(),
2000a65e412SManos Pitsidianakis             offset: 0,
2010a65e412SManos Pitsidianakis             size: $size,
2020a65e412SManos Pitsidianakis             start: 0,
2030a65e412SManos Pitsidianakis             num: 0,
2040a65e412SManos Pitsidianakis             num_offset: 0,
2050a65e412SManos Pitsidianakis             size_offset: 0,
2060a65e412SManos Pitsidianakis             info: unsafe { ::core::ptr::addr_of!($crate::bindings::vmstate_info_unused_buffer) },
2070a65e412SManos Pitsidianakis             flags: VMStateFlags::VMS_BUFFER,
2080a65e412SManos Pitsidianakis             vmsd: ::core::ptr::null(),
2090a65e412SManos Pitsidianakis             version_id: $version_id,
2100a65e412SManos Pitsidianakis             struct_version_id: 0,
2110a65e412SManos Pitsidianakis             field_exists: $field_exists_fn,
2120a65e412SManos Pitsidianakis         }
2130a65e412SManos Pitsidianakis     }};
2140a65e412SManos Pitsidianakis }
2150a65e412SManos Pitsidianakis 
2160a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_UNUSED_V")]
2170a65e412SManos Pitsidianakis #[macro_export]
2180a65e412SManos Pitsidianakis macro_rules! vmstate_unused_v {
2190a65e412SManos Pitsidianakis     ($version_id:expr, $size:expr) => {{
2200a65e412SManos Pitsidianakis         $crate::vmstate_unused_buffer!(None, $version_id, $size)
2210a65e412SManos Pitsidianakis     }};
2220a65e412SManos Pitsidianakis }
2230a65e412SManos Pitsidianakis 
2240a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_UNUSED")]
2250a65e412SManos Pitsidianakis #[macro_export]
2260a65e412SManos Pitsidianakis macro_rules! vmstate_unused {
2270a65e412SManos Pitsidianakis     ($size:expr) => {{
2280a65e412SManos Pitsidianakis         $crate::vmstate_unused_v!(0, $size)
2290a65e412SManos Pitsidianakis     }};
2300a65e412SManos Pitsidianakis }
2310a65e412SManos Pitsidianakis 
2320a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_SINGLE_TEST")]
2330a65e412SManos Pitsidianakis #[macro_export]
2340a65e412SManos Pitsidianakis macro_rules! vmstate_single_test {
2350a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $field_exists_fn:expr, $version_id:expr, $info:expr, $size:expr) => {{
2360a65e412SManos Pitsidianakis         $crate::bindings::VMStateField {
2370a65e412SManos Pitsidianakis             name: ::core::concat!(::core::stringify!($field_name), 0)
2380a65e412SManos Pitsidianakis                 .as_bytes()
2399f7d4520SPaolo Bonzini                 .as_ptr() as *const ::std::os::raw::c_char,
2400a65e412SManos Pitsidianakis             err_hint: ::core::ptr::null(),
241f3518400SJunjie Mao             offset: $crate::offset_of!($struct_name, $field_name),
2420a65e412SManos Pitsidianakis             size: $size,
2430a65e412SManos Pitsidianakis             start: 0,
2440a65e412SManos Pitsidianakis             num: 0,
2450a65e412SManos Pitsidianakis             num_offset: 0,
2460a65e412SManos Pitsidianakis             size_offset: 0,
2470a65e412SManos Pitsidianakis             info: unsafe { $info },
2480a65e412SManos Pitsidianakis             flags: VMStateFlags::VMS_SINGLE,
2490a65e412SManos Pitsidianakis             vmsd: ::core::ptr::null(),
2500a65e412SManos Pitsidianakis             version_id: $version_id,
2510a65e412SManos Pitsidianakis             struct_version_id: 0,
2520a65e412SManos Pitsidianakis             field_exists: $field_exists_fn,
2530a65e412SManos Pitsidianakis         }
2540a65e412SManos Pitsidianakis     }};
2550a65e412SManos Pitsidianakis }
2560a65e412SManos Pitsidianakis 
2570a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_SINGLE")]
2580a65e412SManos Pitsidianakis #[macro_export]
2590a65e412SManos Pitsidianakis macro_rules! vmstate_single {
2600a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $version_id:expr, $info:expr, $size:expr) => {{
2610a65e412SManos Pitsidianakis         $crate::vmstate_single_test!($field_name, $struct_name, None, $version_id, $info, $size)
2620a65e412SManos Pitsidianakis     }};
2630a65e412SManos Pitsidianakis }
2640a65e412SManos Pitsidianakis 
2650a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_UINT32_V")]
2660a65e412SManos Pitsidianakis #[macro_export]
2670a65e412SManos Pitsidianakis macro_rules! vmstate_uint32_v {
2680a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $version_id:expr) => {{
2690a65e412SManos Pitsidianakis         $crate::vmstate_single!(
2700a65e412SManos Pitsidianakis             $field_name,
2710a65e412SManos Pitsidianakis             $struct_name,
2720a65e412SManos Pitsidianakis             $version_id,
2730a65e412SManos Pitsidianakis             ::core::ptr::addr_of!($crate::bindings::vmstate_info_uint32),
2740a65e412SManos Pitsidianakis             ::core::mem::size_of::<u32>()
2750a65e412SManos Pitsidianakis         )
2760a65e412SManos Pitsidianakis     }};
2770a65e412SManos Pitsidianakis }
2780a65e412SManos Pitsidianakis 
2790a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_UINT32")]
2800a65e412SManos Pitsidianakis #[macro_export]
2810a65e412SManos Pitsidianakis macro_rules! vmstate_uint32 {
2820a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty) => {{
2830a65e412SManos Pitsidianakis         $crate::vmstate_uint32_v!($field_name, $struct_name, 0)
2840a65e412SManos Pitsidianakis     }};
2850a65e412SManos Pitsidianakis }
2860a65e412SManos Pitsidianakis 
2870a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_ARRAY")]
2880a65e412SManos Pitsidianakis #[macro_export]
2890a65e412SManos Pitsidianakis macro_rules! vmstate_array {
2900a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $length:expr, $version_id:expr, $info:expr, $size:expr) => {{
2910a65e412SManos Pitsidianakis         $crate::bindings::VMStateField {
2920a65e412SManos Pitsidianakis             name: ::core::concat!(::core::stringify!($field_name), 0)
2930a65e412SManos Pitsidianakis                 .as_bytes()
2949f7d4520SPaolo Bonzini                 .as_ptr() as *const ::std::os::raw::c_char,
2950a65e412SManos Pitsidianakis             err_hint: ::core::ptr::null(),
296f3518400SJunjie Mao             offset: $crate::offset_of!($struct_name, $field_name),
2970a65e412SManos Pitsidianakis             size: $size,
2980a65e412SManos Pitsidianakis             start: 0,
2990a65e412SManos Pitsidianakis             num: $length as _,
3000a65e412SManos Pitsidianakis             num_offset: 0,
3010a65e412SManos Pitsidianakis             size_offset: 0,
3020a65e412SManos Pitsidianakis             info: unsafe { $info },
3030a65e412SManos Pitsidianakis             flags: VMStateFlags::VMS_ARRAY,
3040a65e412SManos Pitsidianakis             vmsd: ::core::ptr::null(),
3050a65e412SManos Pitsidianakis             version_id: $version_id,
3060a65e412SManos Pitsidianakis             struct_version_id: 0,
3070a65e412SManos Pitsidianakis             field_exists: None,
3080a65e412SManos Pitsidianakis         }
3090a65e412SManos Pitsidianakis     }};
3100a65e412SManos Pitsidianakis }
3110a65e412SManos Pitsidianakis 
3120a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_UINT32_ARRAY_V")]
3130a65e412SManos Pitsidianakis #[macro_export]
3140a65e412SManos Pitsidianakis macro_rules! vmstate_uint32_array_v {
3150a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $length:expr, $version_id:expr) => {{
3160a65e412SManos Pitsidianakis         $crate::vmstate_array!(
3170a65e412SManos Pitsidianakis             $field_name,
3180a65e412SManos Pitsidianakis             $struct_name,
3190a65e412SManos Pitsidianakis             $length,
3200a65e412SManos Pitsidianakis             $version_id,
3210a65e412SManos Pitsidianakis             ::core::ptr::addr_of!($crate::bindings::vmstate_info_uint32),
3220a65e412SManos Pitsidianakis             ::core::mem::size_of::<u32>()
3230a65e412SManos Pitsidianakis         )
3240a65e412SManos Pitsidianakis     }};
3250a65e412SManos Pitsidianakis }
3260a65e412SManos Pitsidianakis 
3270a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_UINT32_ARRAY")]
3280a65e412SManos Pitsidianakis #[macro_export]
3290a65e412SManos Pitsidianakis macro_rules! vmstate_uint32_array {
3300a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $length:expr) => {{
3310a65e412SManos Pitsidianakis         $crate::vmstate_uint32_array_v!($field_name, $struct_name, $length, 0)
3320a65e412SManos Pitsidianakis     }};
3330a65e412SManos Pitsidianakis }
3340a65e412SManos Pitsidianakis 
3350a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_STRUCT_POINTER_V")]
3360a65e412SManos Pitsidianakis #[macro_export]
3370a65e412SManos Pitsidianakis macro_rules! vmstate_struct_pointer_v {
3380a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $version_id:expr, $vmsd:expr, $type:ty) => {{
3390a65e412SManos Pitsidianakis         $crate::bindings::VMStateField {
3400a65e412SManos Pitsidianakis             name: ::core::concat!(::core::stringify!($field_name), 0)
3410a65e412SManos Pitsidianakis                 .as_bytes()
3429f7d4520SPaolo Bonzini                 .as_ptr() as *const ::std::os::raw::c_char,
3430a65e412SManos Pitsidianakis             err_hint: ::core::ptr::null(),
344f3518400SJunjie Mao             offset: $crate::offset_of!($struct_name, $field_name),
3450a65e412SManos Pitsidianakis             size: ::core::mem::size_of::<*const $type>(),
3460a65e412SManos Pitsidianakis             start: 0,
3470a65e412SManos Pitsidianakis             num: 0,
3480a65e412SManos Pitsidianakis             num_offset: 0,
3490a65e412SManos Pitsidianakis             size_offset: 0,
3500a65e412SManos Pitsidianakis             info: ::core::ptr::null(),
3510a65e412SManos Pitsidianakis             flags: VMStateFlags(VMStateFlags::VMS_STRUCT.0 | VMStateFlags::VMS_POINTER.0),
3520a65e412SManos Pitsidianakis             vmsd: unsafe { $vmsd },
3530a65e412SManos Pitsidianakis             version_id: $version_id,
3540a65e412SManos Pitsidianakis             struct_version_id: 0,
3550a65e412SManos Pitsidianakis             field_exists: None,
3560a65e412SManos Pitsidianakis         }
3570a65e412SManos Pitsidianakis     }};
3580a65e412SManos Pitsidianakis }
3590a65e412SManos Pitsidianakis 
3600a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_ARRAY_OF_POINTER")]
3610a65e412SManos Pitsidianakis #[macro_export]
3620a65e412SManos Pitsidianakis macro_rules! vmstate_array_of_pointer {
3630a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $num:expr, $version_id:expr, $info:expr, $type:ty) => {{
3640a65e412SManos Pitsidianakis         $crate::bindings::VMStateField {
3650a65e412SManos Pitsidianakis             name: ::core::concat!(::core::stringify!($field_name), 0)
3660a65e412SManos Pitsidianakis                 .as_bytes()
3679f7d4520SPaolo Bonzini                 .as_ptr() as *const ::std::os::raw::c_char,
3680a65e412SManos Pitsidianakis             version_id: $version_id,
3690a65e412SManos Pitsidianakis             num: $num as _,
3700a65e412SManos Pitsidianakis             info: unsafe { $info },
3710a65e412SManos Pitsidianakis             size: ::core::mem::size_of::<*const $type>(),
3720a65e412SManos Pitsidianakis             flags: VMStateFlags(VMStateFlags::VMS_ARRAY.0 | VMStateFlags::VMS_ARRAY_OF_POINTER.0),
373f3518400SJunjie Mao             offset: $crate::offset_of!($struct_name, $field_name),
3740a65e412SManos Pitsidianakis             err_hint: ::core::ptr::null(),
3750a65e412SManos Pitsidianakis             start: 0,
3760a65e412SManos Pitsidianakis             num_offset: 0,
3770a65e412SManos Pitsidianakis             size_offset: 0,
3780a65e412SManos Pitsidianakis             vmsd: ::core::ptr::null(),
3790a65e412SManos Pitsidianakis             struct_version_id: 0,
3800a65e412SManos Pitsidianakis             field_exists: None,
3810a65e412SManos Pitsidianakis         }
3820a65e412SManos Pitsidianakis     }};
3830a65e412SManos Pitsidianakis }
3840a65e412SManos Pitsidianakis 
3850a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_ARRAY_OF_POINTER_TO_STRUCT")]
3860a65e412SManos Pitsidianakis #[macro_export]
3870a65e412SManos Pitsidianakis macro_rules! vmstate_array_of_pointer_to_struct {
3880a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $num:expr, $version_id:expr, $vmsd:expr, $type:ty) => {{
3890a65e412SManos Pitsidianakis         $crate::bindings::VMStateField {
3900a65e412SManos Pitsidianakis             name: ::core::concat!(::core::stringify!($field_name), 0)
3910a65e412SManos Pitsidianakis                 .as_bytes()
3929f7d4520SPaolo Bonzini                 .as_ptr() as *const ::std::os::raw::c_char,
3930a65e412SManos Pitsidianakis             version_id: $version_id,
3940a65e412SManos Pitsidianakis             num: $num as _,
3950a65e412SManos Pitsidianakis             vmsd: unsafe { $vmsd },
3960a65e412SManos Pitsidianakis             size: ::core::mem::size_of::<*const $type>(),
3970a65e412SManos Pitsidianakis             flags: VMStateFlags(
3980a65e412SManos Pitsidianakis                 VMStateFlags::VMS_ARRAY.0
3990a65e412SManos Pitsidianakis                     | VMStateFlags::VMS_STRUCT.0
4000a65e412SManos Pitsidianakis                     | VMStateFlags::VMS_ARRAY_OF_POINTER.0,
4010a65e412SManos Pitsidianakis             ),
402f3518400SJunjie Mao             offset: $crate::offset_of!($struct_name, $field_name),
4030a65e412SManos Pitsidianakis             err_hint: ::core::ptr::null(),
4040a65e412SManos Pitsidianakis             start: 0,
4050a65e412SManos Pitsidianakis             num_offset: 0,
4060a65e412SManos Pitsidianakis             size_offset: 0,
4070a65e412SManos Pitsidianakis             vmsd: ::core::ptr::null(),
4080a65e412SManos Pitsidianakis             struct_version_id: 0,
4090a65e412SManos Pitsidianakis             field_exists: None,
4100a65e412SManos Pitsidianakis         }
4110a65e412SManos Pitsidianakis     }};
4120a65e412SManos Pitsidianakis }
4130a65e412SManos Pitsidianakis 
4140a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_CLOCK_V")]
4150a65e412SManos Pitsidianakis #[macro_export]
4160a65e412SManos Pitsidianakis macro_rules! vmstate_clock_v {
4170a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $version_id:expr) => {{
4180a65e412SManos Pitsidianakis         $crate::vmstate_struct_pointer_v!(
4190a65e412SManos Pitsidianakis             $field_name,
4200a65e412SManos Pitsidianakis             $struct_name,
4210a65e412SManos Pitsidianakis             $version_id,
4220a65e412SManos Pitsidianakis             ::core::ptr::addr_of!($crate::bindings::vmstate_clock),
4230a65e412SManos Pitsidianakis             $crate::bindings::Clock
4240a65e412SManos Pitsidianakis         )
4250a65e412SManos Pitsidianakis     }};
4260a65e412SManos Pitsidianakis }
4270a65e412SManos Pitsidianakis 
4280a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_CLOCK")]
4290a65e412SManos Pitsidianakis #[macro_export]
4300a65e412SManos Pitsidianakis macro_rules! vmstate_clock {
4310a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty) => {{
4320a65e412SManos Pitsidianakis         $crate::vmstate_clock_v!($field_name, $struct_name, 0)
4330a65e412SManos Pitsidianakis     }};
4340a65e412SManos Pitsidianakis }
4350a65e412SManos Pitsidianakis 
4360a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_ARRAY_CLOCK_V")]
4370a65e412SManos Pitsidianakis #[macro_export]
4380a65e412SManos Pitsidianakis macro_rules! vmstate_array_clock_v {
4390a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $num:expr, $version_id:expr) => {{
4400a65e412SManos Pitsidianakis         $crate::vmstate_array_of_pointer_to_struct!(
4410a65e412SManos Pitsidianakis             $field_name,
4420a65e412SManos Pitsidianakis             $struct_name,
4430a65e412SManos Pitsidianakis             $num,
4440a65e412SManos Pitsidianakis             $version_id,
4450a65e412SManos Pitsidianakis             ::core::ptr::addr_of!($crate::bindings::vmstate_clock),
4460a65e412SManos Pitsidianakis             $crate::bindings::Clock
4470a65e412SManos Pitsidianakis         )
4480a65e412SManos Pitsidianakis     }};
4490a65e412SManos Pitsidianakis }
4500a65e412SManos Pitsidianakis 
4510a65e412SManos Pitsidianakis #[doc(alias = "VMSTATE_ARRAY_CLOCK")]
4520a65e412SManos Pitsidianakis #[macro_export]
4530a65e412SManos Pitsidianakis macro_rules! vmstate_array_clock {
4540a65e412SManos Pitsidianakis     ($field_name:ident, $struct_name:ty, $num:expr) => {{
4550a65e412SManos Pitsidianakis         $crate::vmstate_array_clock_v!($field_name, $struct_name, $name, 0)
4560a65e412SManos Pitsidianakis     }};
4570a65e412SManos Pitsidianakis }
4580a65e412SManos Pitsidianakis 
4590a65e412SManos Pitsidianakis /// Helper macro to declare a list of
4600a65e412SManos Pitsidianakis /// ([`VMStateField`](`crate::bindings::VMStateField`)) into a static and return
4610a65e412SManos Pitsidianakis /// a pointer to the array of values it created.
4620a65e412SManos Pitsidianakis #[macro_export]
4630a65e412SManos Pitsidianakis macro_rules! vmstate_fields {
4640a65e412SManos Pitsidianakis     ($($field:expr),*$(,)*) => {{
4650a65e412SManos Pitsidianakis         static _FIELDS: &[$crate::bindings::VMStateField] = &[
4660a65e412SManos Pitsidianakis             $($field),*,
4670a65e412SManos Pitsidianakis             $crate::bindings::VMStateField {
4680a65e412SManos Pitsidianakis                 name: ::core::ptr::null(),
4690a65e412SManos Pitsidianakis                 err_hint: ::core::ptr::null(),
4700a65e412SManos Pitsidianakis                 offset: 0,
4710a65e412SManos Pitsidianakis                 size: 0,
4720a65e412SManos Pitsidianakis                 start: 0,
4730a65e412SManos Pitsidianakis                 num: 0,
4740a65e412SManos Pitsidianakis                 num_offset: 0,
4750a65e412SManos Pitsidianakis                 size_offset: 0,
4760a65e412SManos Pitsidianakis                 info: ::core::ptr::null(),
4770a65e412SManos Pitsidianakis                 flags: VMStateFlags::VMS_END,
4780a65e412SManos Pitsidianakis                 vmsd: ::core::ptr::null(),
4790a65e412SManos Pitsidianakis                 version_id: 0,
4800a65e412SManos Pitsidianakis                 struct_version_id: 0,
4810a65e412SManos Pitsidianakis                 field_exists: None,
4820a65e412SManos Pitsidianakis             }
4830a65e412SManos Pitsidianakis         ];
4840a65e412SManos Pitsidianakis         _FIELDS.as_ptr()
4850a65e412SManos Pitsidianakis     }}
4860a65e412SManos Pitsidianakis }
4870a65e412SManos Pitsidianakis 
4880a65e412SManos Pitsidianakis /// A transparent wrapper type for the `subsections` field of
489716d89f9SPaolo Bonzini /// [`VMStateDescription`].
4900a65e412SManos Pitsidianakis ///
4910a65e412SManos Pitsidianakis /// This is necessary to be able to declare subsection descriptions as statics,
4920a65e412SManos Pitsidianakis /// because the only way to implement `Sync` for a foreign type (and `*const`
4930a65e412SManos Pitsidianakis /// pointers are foreign types in Rust) is to create a wrapper struct and
4940a65e412SManos Pitsidianakis /// `unsafe impl Sync` for it.
4950a65e412SManos Pitsidianakis ///
4960a65e412SManos Pitsidianakis /// This struct is used in the
4970a65e412SManos Pitsidianakis /// [`vm_state_subsections`](crate::vmstate_subsections) macro implementation.
4980a65e412SManos Pitsidianakis #[repr(transparent)]
4990a65e412SManos Pitsidianakis pub struct VMStateSubsectionsWrapper(pub &'static [*const crate::bindings::VMStateDescription]);
5000a65e412SManos Pitsidianakis 
5010a65e412SManos Pitsidianakis unsafe impl Sync for VMStateSubsectionsWrapper {}
5020a65e412SManos Pitsidianakis 
503716d89f9SPaolo Bonzini /// Helper macro to declare a list of subsections ([`VMStateDescription`])
504716d89f9SPaolo Bonzini /// into a static and return a pointer to the array of pointers it created.
5050a65e412SManos Pitsidianakis #[macro_export]
5060a65e412SManos Pitsidianakis macro_rules! vmstate_subsections {
5070a65e412SManos Pitsidianakis     ($($subsection:expr),*$(,)*) => {{
5080a65e412SManos Pitsidianakis         static _SUBSECTIONS: $crate::vmstate::VMStateSubsectionsWrapper = $crate::vmstate::VMStateSubsectionsWrapper(&[
5090a65e412SManos Pitsidianakis             $({
5100a65e412SManos Pitsidianakis                 static _SUBSECTION: $crate::bindings::VMStateDescription = $subsection;
5110a65e412SManos Pitsidianakis                 ::core::ptr::addr_of!(_SUBSECTION)
5120a65e412SManos Pitsidianakis             }),*,
5130a65e412SManos Pitsidianakis             ::core::ptr::null()
5140a65e412SManos Pitsidianakis         ]);
5150a65e412SManos Pitsidianakis         _SUBSECTIONS.0.as_ptr()
5160a65e412SManos Pitsidianakis     }}
5170a65e412SManos Pitsidianakis }
518