maintenance irq: support handling multiple LRs

JorgeMVP · JorgeMVP · commit 158b8888cde4 · 2023-05-28T11:13:26.000+02:00
- extend it to support handling multiple LRs per fault IPC msg.
Signed-off-by: JorgeMVP &lt;jorgepereira89@gmail.com&gt;
diff --git a/libsel4vm/src/arch/arm/vgic/vgic_v2.c b/libsel4vm/src/arch/arm/vgic/vgic_v2.c
@@ -277,12 +277,14 @@ int vm_install_vgic(vm_t *vm)
 int vm_vgic_maintenance_handler(vm_vcpu_t *vcpu)
 {
     uint64_t eisr = seL4_GetMR(seL4_VGICMaintenance_EISR);
-    if (eisr) {
+
+    while (eisr) {
         int idx = __builtin_ctzll(eisr);
         int err = handle_vgic_maintenance(vcpu, idx);
         if (err) {
             ZF_LOGF("vGIC maintenance handler failed (error %d)", err);
         }
+        eisr &= ~(1ULL << idx);
     }
 
     seL4_MessageInfo_t reply;

Original file line number	Diff line number	Diff line change
`@@ -277,12 +277,14 @@ int vm_install_vgic(vm_t *vm)`
`277`	`277`	`int vm_vgic_maintenance_handler(vm_vcpu_t *vcpu)`
`278`	`278`	`{`
`279`	`279`	`uint64_t eisr = seL4_GetMR(seL4_VGICMaintenance_EISR);`
`280`		`- if (eisr) {`
	`280`	`+`
	`281`	`+ while (eisr) {`
`281`	`282`	`int idx = __builtin_ctzll(eisr);`
`282`	`283`	`int err = handle_vgic_maintenance(vcpu, idx);`
`283`	`284`	`if (err) {`
`284`	`285`	`ZF_LOGF("vGIC maintenance handler failed (error %d)", err);`
`285`	`286`	`}`
	`287`	`+ eisr &= ~(1ULL << idx);`
`286`	`288`	`}`
`287`	`289`
`288`	`290`	`seL4_MessageInfo_t reply;`