On 22/12/2025 4:40 pm, Oleksii Kurochko wrote: > Use XFREE() instead of xfree() so that vcpu_vgic_free() can be idempotent. > With XFREE(), vgic_vcpu->private_irqs is set to NULL, so calling > vcpu_vgic_free() a second time is not an issue. > > Update the prototype of vcpu_vgic_free() to return void to satisfy MISRA > Rule 17.7, since the return value of vcpu_vgic_free() is not used by any > callers. > > Suggested-by: Andrew Cooper <[email protected]> > Signed-off-by: Oleksii Kurochko <[email protected]>
Reviewed-by: Andrew Cooper <[email protected]>
