Searched defs:bad_intid (Results 1 - 1 of 1) sorted by relevance
/kernel/linux/linux-6.6/tools/testing/selftests/kvm/aarch64/ | ||
H A D | vgic_irq.c | 437 uint32_t bad_intid[] = { args->nr_irqs, 1020, 1024, 1120, 5120, ~0U, }; in test_injection_failure() local |
Completed in 2 milliseconds