24   Processor *proc = new(mem) Processor;  in ProcCreate()  local
25   proc->thr = nullptr;  in ProcCreate()
27   AllocatorProcStart(proc);  in ProcCreate()
30     proc->dd_pt = ctx->dd->CreatePhysicalThread();  in ProcCreate()
31   return proc;  in ProcCreate()
34 void ProcDestroy(Processor *proc) {  in ProcDestroy()  argument
35   CHECK_EQ(proc->thr, nullptr);  in ProcDestroy()
37   AllocatorProcFinish(proc);  in ProcDestroy()
39   ctx->clock_alloc.FlushCache(&proc->clock_cache);  in ProcDestroy()
40   ctx->metamap.OnProcIdle(proc);  in ProcDestroy()
42      ctx->dd->DestroyPhysicalThread(proc->dd_pt);  in ProcDestroy()
43   proc->~Processor();  in ProcDestroy()
44   InternalFree(proc);  in ProcDestroy()
47 void ProcWire(Processor *proc, ThreadState *thr) {  in ProcWire()  argument
49   CHECK_EQ(proc->thr, nullptr);  in ProcWire()
50   thr->proc1 = proc;  in ProcWire()
51   proc->thr = thr;  in ProcWire()
54 void ProcUnwire(Processor *proc, ThreadState *thr) {  in ProcUnwire()  argument
55   CHECK_EQ(thr->proc1, proc);  in ProcUnwire()
56   CHECK_EQ(proc->thr, thr);  in ProcUnwire()
58   proc->thr = nullptr;  in ProcUnwire()