Searched refs:vm_thread_ctx_t (Results 1 – 1 of 1) sorted by relevance
106 } vm_thread_ctx_t; typedef166 vm_thread_ctx_t vtc; /* (o) thread state for ctxops */2304 vm_thread_ctx_t *vtc = arg; in vmm_savectx()2336 vm_thread_ctx_t *vtc = arg; in vmm_restorectx()