On Thu, May 08, 2025 at 08:02:33PM -0700, Nicolin Chen wrote:
> +/*
> + * Helpers for IOMMU driver to build/destroy a dependency between two sibling
> + * structures created by one of the allocators above
> + */
> +#define iommufd_hw_queue_depend(dependent, depended, member)
> \
> + ({ \
> + static_assert(__same_type(struct iommufd_hw_queue, \
> + dependent->member)); \
> + static_assert(offsetof(typeof(*dependent), member.obj) == 0); \
> + static_assert(__same_type(struct iommufd_hw_queue, \
> + depended->member)); \
> + static_assert(offsetof(typeof(*depended), member.obj) == 0); \
> + _iommufd_object_depend(&dependent->member.obj, \
> + &depended->member.obj); \
> + })
This doesn't need the offsetof == 0 checks, it isn't an allocator. And
you want to check that the two structs have the same type:
static_assert(__same_type(struct iommufd_hw_queue, dependent->member));
static_assert(__same_type(typeof(*dependent), *dependend));
Jason
