Home | History | Annotate | Download | only in x86

Lines Matching refs:user_regs

863 	initctx->user_regs.rdi = (uint64_t) ci; /* targetrip(ci); */
864 initctx->user_regs.rip = (vaddr_t) targetrip;
866 initctx->user_regs.cs = GSEL(GCODE_SEL, SEL_KPL);
868 initctx->user_regs.rflags = pcb->pcb_flags;
869 initctx->user_regs.rsp = pcb->pcb_rsp;
872 initctx->user_regs.ss = GSEL(GDATA_SEL, SEL_KPL);
873 initctx->user_regs.es = GSEL(GDATA_SEL, SEL_KPL);
874 initctx->user_regs.ds = GSEL(GDATA_SEL, SEL_KPL);
960 initctx->user_regs.esp = pcb->pcb_esp - 4; /* Leave word for
964 uint32_t *arg = (uint32_t *)initctx->user_regs.esp;
968 initctx->user_regs.eip = (vaddr_t)targeteip;
969 initctx->user_regs.cs = GSEL(GCODE_SEL, SEL_KPL);
970 initctx->user_regs.eflags |= pcb->pcb_iopl;
973 initctx->user_regs.ss = GSEL(GDATA_SEL, SEL_KPL);
974 initctx->user_regs.es = GSEL(GDATA_SEL, SEL_KPL);
975 initctx->user_regs.ds = GSEL(GDATA_SEL, SEL_KPL);
976 initctx->user_regs.fs = GSEL(GDATA_SEL, SEL_KPL);