Searched refs:vcpu0 (Results 1 – 1 of 1) sorted by relevance
119 struct vcpu_thread_ctx vcpu0 = { in test_plain_suspend() local128 tid = vcpu0_spawn(&vcpu0); in test_plain_suspend()153 struct vcpu_thread_ctx vcpu0 = { in test_emitted_triplefault() local182 tid = vcpu0_spawn(&vcpu0); in test_emitted_triplefault()