MIN_PPI
guest_inject(args, MIN_PPI, 1, f->cmd);
static const unsigned long ppi_exclude = (BIT(27 - MIN_PPI) |
BIT(30 - MIN_PPI) |
BIT(28 - MIN_PPI) |
BIT(26 - MIN_PPI));
test_inject_preemption(args, MIN_PPI, 16, &ppi_exclude, f->cmd);
guest_restore_active(args, MIN_PPI, 16, f->cmd);
gic_set_priority(MIN_PPI, IRQ_DEFAULT_PRIO);
for (intid = 0; intid < MIN_PPI; intid++) {
for (int i = 1; i < MIN_PPI; i++) {
GUEST_ASSERT(intid < MIN_PPI);
#define INTID_IS_SGI(intid) (0 <= (intid) && (intid) < MIN_PPI)
#define INTID_IS_PPI(intid) (MIN_PPI <= (intid) && (intid) < MIN_SPI)