#include <interrupt.h>
Public Attributes | |
| uint64_t | r15 |
| uint64_t | r14 |
| uint64_t | r13 |
| uint64_t | r12 |
| uint64_t | r11 |
| uint64_t | r10 |
| uint64_t | r9 |
| uint64_t | r8 |
| uint64_t | rsi |
| uint64_t | rdi |
| uint64_t | rbp |
| uint64_t | rdx |
| uint64_t | rcx |
| uint64_t | rbx |
| uint64_t | rax |
| uint64_t gp_registers::r10 |
| uint64_t gp_registers::r11 |
| uint64_t gp_registers::r12 |
| uint64_t gp_registers::r13 |
| uint64_t gp_registers::r14 |
| uint64_t gp_registers::r15 |
| uint64_t gp_registers::r8 |
| uint64_t gp_registers::r9 |
| uint64_t gp_registers::rax |
| uint64_t gp_registers::rbp |
| uint64_t gp_registers::rbx |
| uint64_t gp_registers::rcx |
| uint64_t gp_registers::rdi |
| uint64_t gp_registers::rdx |
| uint64_t gp_registers::rsi |