static void gic_restore_pending_irqs(struct vcpu *v)
{
int i;
- struct pending_irq *p;
+ struct pending_irq *p, *t;
- list_for_each_entry ( p, &v->arch.vgic.lr_pending, lr_queue )
+ list_for_each_entry_safe ( p, t, &v->arch.vgic.lr_pending, lr_queue )
{
i = find_first_zero_bit(&gic.lr_mask, nr_lrs);
if ( i >= nr_lrs ) return;
if (!already_pending && gic.event_mask != 0) {
spin_lock_irq(&gic.lock);
while ((i = find_next_bit((const long unsigned int *) &gic.event_mask,
- sizeof(uint64_t), i)) < sizeof(uint64_t)) {
+ 64, i)) < 64) {
GICH[GICH_LR + i] = 0;
clear_bit(i, &gic.lr_mask);
events_maintenance(v);
while ((i = find_next_bit((const long unsigned int *) &eisr,
- sizeof(eisr), i)) < sizeof(eisr)) {
+ 64, i)) < 64) {
struct pending_irq *p;
spin_lock_irq(&gic.lock);
unsigned int irq;
int i = 0;
- while ( (i = find_next_bit((const long unsigned int *) &r,
- sizeof(uint32_t), i)) < sizeof(uint32_t) ) {
+ while ( (i = find_next_bit((const long unsigned int *) &r, 32, i)) < 32 ) {
irq = i + (32 * n);
p = irq_to_pending(v, irq);
if ( !list_empty(&p->inflight) )