Searched refs:sourcep (Results 1 – 1 of 1) sorted by relevance
45 int *sourcep; member69 *vtc->sourcep = vexit.u.suspended.source; in vcpu0_thread()122 .sourcep = &source, in test_plain_suspend()156 .sourcep = &vcpu0_source, in test_emitted_triplefault()