guest_inject

437

guest_inject(args, MIN_SGI, 1, f->cmd);

438

guest_inject(args, 0, 16, f->cmd);

442

guest_inject(args, MIN_PPI, 1, f->cmd);

445

guest_inject(args, MIN_SPI, 1, f->cmd);

446

guest_inject(args, nr_irqs - 1, 1, f->cmd);

447

guest_inject(args, MIN_SPI, nr_irqs - MIN_SPI, f->cmd);