Barrelfish
Typedefs
registers_arch.h File Reference

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

Detailed Description

Arch independent accessor functions for use in generic code Generic include for kernel.

Typedef Documentation

typedef struct registers_x86_32 arch_registers_state_t

< Opaque handle for the register state

Opaque handle for the FPU register state