Searched refs:vcpu0_spawn (Results 1 – 1 of 1) sorted by relevance
93 vcpu0_spawn(struct vcpu_thread_ctx *vtc) in vcpu0_spawn() function128 tid = vcpu0_spawn(&vcpu0); in test_plain_suspend()182 tid = vcpu0_spawn(&vcpu0); in test_emitted_triplefault()