Searched refs:test_get_pcpu (Results 1 – 1 of 1) sorted by relevance
81 static uint32_t test_get_pcpu(void) in test_get_pcpu() function102 uint32_t new_pcpu = test_get_pcpu(); in test_migrate_vcpu()