Barrelfish
Macros | Typedefs | Functions
registers_arch.h File Reference

architecture-specific registers code More...

Macros

#define SYSCALL_REG   0
 Register used in system calls to encode function and arg count.
 

Typedefs

typedef union registers_arm arch_registers_state_t
 Opaque handle for the FPU register state.
 

Functions

 STATIC_ASSERT_SIZEOF (union registers_arm, 17 *4)
 Opaque handle for the register state.
 

Detailed Description

architecture-specific registers code