Searched refs:nr_vcpus_created (Results 1 – 1 of 1) sorted by relevance
82 unsigned int nr_vcpus_created = 0; in vgic_v3_setup() local93 nr_vcpus_created++; in vgic_v3_setup()94 TEST_ASSERT(nr_vcpus == nr_vcpus_created, in vgic_v3_setup()96 nr_vcpus, nr_vcpus_created); in vgic_v3_setup()