Re: [PATCH RESEND v2 12/12] coco: host: arm64: Register device public key with RMM

Jason Gunthorpe
2025-10-29T17:19:39Z

On Mon, Oct 27, 2025 at 03:26:02PM +0530, Aneesh Kumar K.V (Arm) wrote:

> +DEFINE_FREE(free_page, unsigned long, if (_T) free_page(_T))

Please put these sorts of things in their proper headers

Jason