Barrelfish
arch Directory Reference

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.