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. | |