On Thu, May 15, 2025 at 01:12:54PM -0300, Jason Gunthorpe wrote:
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));
Ack. I also added ictx comparison:
+#define iommufd_hw_queue_depend(dependent, depended, member) \ + ({ \ + int ret = -EINVAL; \ + \ + static_assert(__same_type(struct iommufd_hw_queue, \ + dependent->member)); \ + static_assert(__same_type(typeof(*dependent), *depended)); \ + if (!WARN_ON_ONCE(dependent->member.ictx != \ + depended->member.ictx)) \ + ret = _iommufd_object_depend(&dependent->member.obj, \ + &depended->member.obj); \ + ret; \ + }) + +#define iommufd_hw_queue_undepend(dependent, depended, member) \ + ({ \ + static_assert(__same_type(struct iommufd_hw_queue, \ + dependent->member)); \ + static_assert(__same_type(typeof(*dependent), *depended)); \ + WARN_ON_ONCE(dependent->member.ictx != depended->member.ictx); \ + _iommufd_object_undepend(&dependent->member.obj, \ + &depended->member.obj); \ + })
Thanks Nicolin