2 #include "../port/lib.h"
8 fpudevprocio(Proc* proc, void* a, long n, uintptr offset, int write)
11 * Called from procdevtab.read and procdevtab.write
12 * allow user process access to the FPU registers.
13 * This is the only FPU routine which is called directly
14 * from the port code; it would be nice to have dynamic
15 * creation of entries in the device file trees...
17 USED(proc, a, n, offset, write);
26 * Called when a note is about to be delivered to a
27 * user process, usually at the end of a system call.
28 * Note handlers are not allowed to use the FPU so
29 * the state is marked (after saving if necessary) and
30 * checked in the Device Not Available handler.
38 * Called from sysnoted() via the machine-dependent
40 * Clear the flag set above in fpunotify().
48 * Called from sched() and sleep() via the machine-dependent
50 * About to go in to the scheduler.
51 * If the process wasn't using the FPU
52 * there's nothing to do.
60 * The process has been rescheduled and is about to run.
61 * Nothing to do here right now. If the process tries to use
62 * the FPU again it will cause a Device Not Available
63 * exception and the state will then be restored.
71 * The current process has been forked, save and copy neccesary
72 * state to child. Nothing to do here, child proc starts with FPinit.
77 fpusysprocsetup(Proc*)
81 * Called from sysexec() via sysprocsetup() to
82 * set the FPU for the new process.
98 postnote(up, 1, up->errstr, NDebug);