|
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] Re: [Xen-devel] [PATCH 10/57] ARM: VGIC: rename gic_event_needs_delivery()
Hi, On 05/03/18 16:03, Andre Przywara wrote:
I am not a big fan of this name either. I would much prefer to follow the suggestion I made in your RFC patch #26. By that I mean renaming the function vgic_vcpu_pending_irq and take a vCPU in parameter. For the old vGIC implementation, add an ASSERT(vcpu == current) to catch misuse for the function. Cheers, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@xxxxxxxxxxxxxxxxxxxx https://lists.xenproject.org/mailman/listinfo/xen-devel
|
![]() |
Lists.xenproject.org is hosted with RackSpace, monitoring our |