Searched refs:pcb_fpcpu (Results 1 – 2 of 2) sorted by relevance
82 unsigned int pcb_fpcpu; /* which CPU had our FPU member
114 td->td_pcb->pcb_fpcpu = PCPU_GET(cpuid); in enable_fpu()194 pcb->pcb_fpcpu = INT_MAX; in save_fpu()