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

[Jason Gunthorpe]

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