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