3968 /* current owner of the FPU */