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