Searched refs:nr_vcpus_created (Results 1 – 1 of 1) sorted by relevance
38 unsigned int nr_gic_pages, nr_vcpus_created = 0; in vgic_v3_setup() local47 nr_vcpus_created++; in vgic_v3_setup()48 TEST_ASSERT(nr_vcpus == nr_vcpus_created, in vgic_v3_setup()50 nr_vcpus, nr_vcpus_created); in vgic_v3_setup()