Searched refs:nr_vcpus_created (Results 1 – 1 of 1) sorted by relevance
39 unsigned int nr_gic_pages, nr_vcpus_created = 0; in vgic_v3_setup() local48 nr_vcpus_created++; in vgic_v3_setup()49 TEST_ASSERT(nr_vcpus == nr_vcpus_created, in vgic_v3_setup()51 nr_vcpus, nr_vcpus_created); in vgic_v3_setup()