Searched refs:nr_vcpus_created (Results 1 – 1 of 1) sorted by relevance
37 unsigned int nr_gic_pages, nr_vcpus_created = 0; in vgic_v3_setup() local46 nr_vcpus_created++; in vgic_v3_setup()47 TEST_ASSERT(nr_vcpus == nr_vcpus_created, in vgic_v3_setup()49 nr_vcpus, nr_vcpus_created); in vgic_v3_setup()
Completed in 2 milliseconds