Searched refs:pcb_to_user_regs (Results 1 – 1 of 1) sorted by relevance
424 pcb_to_user_regs(label_t *pcb, vcpu_guest_context_t *vgc) in pcb_to_user_regs() function451 pcb_to_user_regs(&cp->cpu_thread->t_pcb, &vgc); in mach_cpucontext_restore()