Barrelfish
|
Arch independent accessor functions for use in generic code Generic include for kernel. More...
Typedefs | |
typedef struct registers_x86_32 | arch_registers_state_t |
< Opaque handle for the register state More... | |
Arch independent accessor functions for use in generic code Generic include for kernel.
typedef struct registers_x86_32 arch_registers_state_t |
< Opaque handle for the register state
Opaque handle for the FPU register state