Home | History | Annotate | Download | only in x86

Lines Matching refs:ctrlreg

887 	initctx->ctrlreg[0] = pcb->pcb_cr0;
888 	initctx->ctrlreg[1] = 0; /* "resuming" from kernel - no User cr3. */
889 	initctx->ctrlreg[2] = (vaddr_t)targetrip;
894 	initctx->ctrlreg[3] = xen_pfn_to_cr3(x86_btop(xpmap_ptom(ci->ci_kpm_pdirpa)));
895 	initctx->ctrlreg[4] = CR4_PAE | CR4_OSFXSR | CR4_OSXMMEXCPT;
989 	initctx->ctrlreg[0] = pcb->pcb_cr0;
990 	initctx->ctrlreg[1] = 0; /* "resuming" from kernel - no User cr3. */
991 	initctx->ctrlreg[2] = (vaddr_t)targeteip;
992 	initctx->ctrlreg[3] = xen_pfn_to_cr3(x86_btop(xpmap_ptom(ci->ci_pae_l3_pdirpa)));
993 	initctx->ctrlreg[4] = /* CR4_PAE | */CR4_OSFXSR | CR4_OSXMMEXCPT;