PCB_USER_FPU
KASSERT(PCB_USER_FPU(td->td_pcb), ("fpstate_drop: kernel-owned fpu"));
KASSERT(!PCB_USER_FPU(pcb) || pcb->pcb_save ==
KASSERT(!PCB_USER_FPU(pcb), ("unpaired fpu_kern_leave"));
KASSERT(PCB_USER_FPU(curpcb), ("recursive call"));
if (PCB_USER_FPU(pcb))
if ((td->td_pflags & TDP_KTHREAD) != 0 || !PCB_USER_FPU(td->td_pcb)) {
if (td == PCPU_GET(fpcurthread) && PCB_USER_FPU(pcb)) {
if (PCB_USER_FPU(pcb))
if (td == PCPU_GET(fpcurthread) && PCB_USER_FPU(pcb)) {
KASSERT(PCB_USER_FPU(td->td_pcb),
KASSERT(PCB_USER_FPU(td->td_pcb),
if (PCB_USER_FPU(td->td_pcb))
KASSERT(PCB_USER_FPU(td->td_pcb),
KASSERT(PCB_USER_FPU(td->td_pcb), ("fpstate_drop: kernel-owned fpu"));
if (PCB_USER_FPU(pcb))
if (td == PCPU_GET(fpcurthread) && PCB_USER_FPU(pcb)) {
KASSERT(!PCB_USER_FPU(pcb) || pcb->pcb_save ==
KASSERT(!PCB_USER_FPU(pcb), ("unpaired fpu_kern_leave"));
KASSERT(PCB_USER_FPU(curpcb), ("recursive call"));
if (PCB_USER_FPU(pcb))
!PCB_USER_FPU(pcb)) {
KASSERT(PCB_USER_FPU(td->td_pcb),
KASSERT(PCB_USER_FPU(td->td_pcb),
if (PCB_USER_FPU(td->td_pcb))
KASSERT(PCB_USER_FPU(td->td_pcb),