Barrelfish
|
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. | |
Architecture-specific registers code.