Searched refs:pcb_fpflags (Results 1 – 8 of 8) sorted by relevance
211 curpcb->pcb_fpflags |= PCB_FP_STARTED; in vfp_restore_state()277 KASSERT((pcb->pcb_fpflags & PCB_FP_NOSAVE) == 0, in fpu_kern_enter()301 KASSERT((pcb->pcb_fpflags & PCB_FP_KERN) != 0 || in fpu_kern_enter()308 pcb->pcb_fpflags |= PCB_FP_KERN; in fpu_kern_enter()309 pcb->pcb_fpflags &= ~PCB_FP_STARTED; in fpu_kern_enter()321 if ((pcb->pcb_fpflags & PCB_FP_NOSAVE) != 0) { in fpu_kern_leave()342 pcb->pcb_fpflags &= ~PCB_FP_STARTED; in fpu_kern_leave()347 pcb->pcb_fpflags &= ~PCB_FP_KERN; in fpu_kern_leave()349 KASSERT((pcb->pcb_fpflags & PCB_FP_KERN) != 0, in fpu_kern_leave()365 KASSERT((pcb->pcb_fpflags & PCB_FP_KERN) == 0, in fpu_kern_thread()[all …]
223 if ((pcb->pcb_fpflags & PCB_FP_STARTED) != 0) { in fill_fpregs()424 if ((curpcb->pcb_fpflags & PCB_FP_STARTED) != 0) { in get_fpcontext()433 KASSERT((curpcb->pcb_fpflags & ~PCB_FP_USERMASK) == 0, in get_fpcontext()439 mcp->mc_fpregs.fp_flags = curpcb->pcb_fpflags; in get_fpcontext()470 curpcb->pcb_fpflags = mcp->mc_fpregs.fp_flags & PCB_FP_USERMASK; in set_fpcontext()706 thread0.td_pcb->pcb_fpflags = 0; in init_proc0()
315 if ((td->td_pcb->pcb_fpflags & PCB_FP_KERN) != 0) { in do_el1h_sync()466 KASSERT((td->td_pcb->pcb_fpflags & ~PCB_FP_USERMASK) == 0, in do_el0_sync()
82 if ((td1->td_pcb->pcb_fpflags & PCB_FP_STARTED) != 0) in cpu_fork()
222 if ((pcb->pcb_fpflags & PCB_FP_STARTED) != 0) { in fill_fpregs()251 pcb->pcb_fpflags |= PCB_FP_STARTED; in set_fpregs()313 pcb->pcb_fpflags &= ~PCB_FP_STARTED; in exec_setregs()389 if ((curpcb->pcb_fpflags & PCB_FP_STARTED) != 0) { in get_fpcontext()396 KASSERT((curpcb->pcb_fpflags & ~PCB_FP_USERMASK) == 0, in get_fpcontext()401 mcp->mc_fpregs.fp_flags = curpcb->pcb_fpflags; in get_fpcontext()423 curpcb->pcb_fpflags = mcp->mc_fpregs.fp_flags & PCB_FP_USERMASK; in set_fpcontext()660 thread0.td_pcb->pcb_fpflags = 0; in init_proc0()
374 if ((pcb->pcb_fpflags & PCB_FP_STARTED) == 0) { in do_trap_user()382 pcb->pcb_fpflags |= PCB_FP_STARTED; in do_trap_user()
54 uint64_t pcb_fpflags; /* Floating point flags */ member
55 int pcb_fpflags; member