HomeFreeBSD

FreeBSD: Use the new freeuio() helper to free dynamically allocated UIOs…

Description

FreeBSD: Use the new freeuio() helper to free dynamically allocated UIOs (#16300)

This freeuio() interface was introduced to FreeBSD recently. For now
it simply calls free(), so this change has no effect. However, this
may not always be true, and in CheriBSD this change is required.

Signed-off-by: Mark Johnston <markj@FreeBSD.org>
Reviewed-by: Alexander Motin <mav@FreeBSD.org>
Reviewed-by: Brooks Davis <brooks.davis@sri.com>
Reviewed-by: Tony Hutter <hutter2@llnl.gov>

Details

Provenance
markjAuthored on Jul 11 2024, 11:52 PM
GitHub <noreply@github.com>Committed on Jul 11 2024, 11:52 PM
Parents
rG156a64161b4f: Linux 6.9: Fix UBSAN errors in zap_micro.c
Branches
Unknown
Tags
Unknown