Hi,
On 03/15/2018 08:30 PM, Andre Przywara wrote:
Implement the framework for syncing IRQs between our emulation and the
list registers, which represent the guest's view of IRQs.
This is done in vgic_sync_from_lrs() and vgic_sync_to_lrs(), which
get called on guest entry and exit, respectively.
The code talking to the actual GICv2/v3 hardware is added in the
following patches.
This is based on Linux commit 0919e84c0fc1, written by Marc Zyngier.
Signed-off-by: Andre Przywara <[email protected]>
---
Changelog v1 ... v2:
- make functions void
Hmmm, the function were already void in the previous version. However,
you switch from static inline to static. Did I miss anything?
[...]
+static void vgic_set_underflow(struct vcpu *vcpu)
+{
+ ASSERT(vcpu == current);
+
+ gic_hw_ops->update_hcr_status(GICH_HCR_UIE, 1);
The second is a boolean, so please use true.
Cheers,
--
Julien Grall
_______________________________________________
Xen-devel mailing list
[email protected]
https://lists.xenproject.org/mailman/listinfo/xen-devel
