do interrupt maintenance if interrupt is set pending (ie enqueued)

[axel-h]

In vgic_dist_set_pending_irq() we enque an interrupt and then dequeue one

seL4_projects_libs/libsel4vm/src/arch/arm/vgic/vgic.c

Lines 581 to 602 in 9de0630

	/* Enqueueing an IRQ and dequeueing it right after makes little sense
	* now, but in the future this is needed to support IRQ priorities.
	*/
	int err = vgic_irq_enqueue(vgic, vcpu, virq_data);
	if (err) {
	ZF_LOGF("Failure enqueueing IRQ, increase MAX_IRQ_QUEUE_LEN");
	return -1;
	}
	int idx = vgic_find_empty_list_reg(vgic, vcpu);
	if (idx < 0) {
	/* There were no empty list registers available, but that's not a big
	* deal -- we have already enqueued this IRQ and eventually the vGIC
	* maintenance code will load it to a list register from the queue.
	*/
	return 0;
	}
	struct virq_handle *virq = vgic_irq_dequeue(vgic, vcpu);
	assert(virq);
	return vgic_vcpu_load_list_reg(vgic, vcpu, idx, virq);

Since there is no guarantee that we dequeue the same interrupt we have enqueued, I wonder if this should dequeue in a loop while there are interrupts in the queue and there are list registers available?