func: static void openpic_save_IRQ_queue(QEMUFile* f, IRQQueue *q)
  
  {
  
      unsigned int i;
  
  
  
      for (i = 0; i < BF_WIDTH(MAX_IRQ); i++)
  
          qemu_put_be32s(f, &q->queue[i]);
  
  
  
      qemu_put_sbe32s(f, &q->next);
  
      qemu_put_sbe32s(f, &q->priority);
  
  }
  