Searched refs:guest_code_timer_spi (Results 1 – 1 of 1) sorted by relevance
897 static void guest_code_timer_spi(struct test_args *args, int cpuid) in guest_code_timer_spi() function1078 test_vgic_two_cpus(guest_code_timer_spi); in main()