« Previous | Next » 

Revision b7dc1a59

IDb7dc1a597ab2d755c135852ce22d98fa00ab414f

Added by Peter Maydell about 12 years ago

hw/arm_gic: gic_set_pending_private() is NVIC only

The function gic_set_pending_private() is now used by the NVIC
only (for the GIC we now set PPI interrupts via gpio lines and
gic_set_irq()). So make it #ifdef NVIC and remove the 'attribute
unused' annotation.

Signed-off-by: Peter Maydell <>

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences