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