|
Barrelfish
|
Files | |
| file | fpu.h |
| FPU accessor functions. | |
| file | ldt.h |
| Local descriptor table (LDT) management. | |
| file | registers.h |
| Arch independent accessor functions for use in generic code. Generic include for userland. | |
| file | threads.h |
| Threads architecture-specific code. | |
1.8.11