fpu_mark_used
fpu_mark_used(l);
fpu_mark_used(l);
fpu_mark_used(l);
void fpu_mark_used(struct lwp *);
fpu_mark_used(l);
fpu_mark_used(l); /* pcb_fpu is initialized now. */
fpu_mark_used(l);
fpu_mark_used(l);
fpu_mark_used(l);
fpu_mark_used(l);