arch/x86_64/x86_64.h


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20

#ifndef _JOVE_x86_64_H
#define _JOVE_x86_64_H 1

#include <stdint.h>

struct cpu_state
{
    uint64_t r15, r14, r13, r12, r11, r10, r9, r8;
    uint64_t rbp, rdi, rsi, rdx, rcx, rbx, rax;
};

struct cpu_context
{
    struct cpu_state state;
    uint64_t rsp, rip;
};

void print_state(struct cpu_state *state);

#endif