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_aarch64 arch_registers_state_t
 Opaque handle for the FPU register state.
 

Functions

 STATIC_ASSERT_SIZEOF (union registers_aarch64, NUM_REGS *sizeof(uint64_t))
 Opaque handle for the register state.
 

Detailed Description

Architecture-specific registers code.