1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
#include <types.h>
#include <libk/stdio.h>
#include <registers.h>
void print_reg(registers_t* registers)
{
printf("printing registers:");
printf("rax: %x", registers->rax);
printf("rbx: %x", registers->rbx);
printf("rcx: %x", registers->rcx);
printf("rdx: %x", registers->rdx);
printf("rsi: %x", registers->rsi);
printf("rdi: %x", registers->rdi);
printf("rsp: %x", registers->rsp);
printf("rbp: %x", registers->rbp);
printf("r8: %x", registers->r8);
printf("r9: %x", registers->r9);
printf("r10: %x", registers->r10);
printf("r11: %x", registers->r11);
printf("r12: %x", registers->r12);
printf("r13: %x", registers->r13);
printf("r14: %x", registers->r14);
printf("r15: %x", registers->r15);
printf("rip: %x", registers->rip);
printf("cs: %x", registers->cs);
printf("ds: %x", registers->ds);
printf("ss: %x", registers->ss);
printf("es: %x", registers->es);
printf("fs: %x", registers->fs);
printf("gs: %x", registers->gs);
}
|