#ifndef ARCH_x86_64_CPU_H
#define ARCH_x86_64_CPU_H 1

#include <stdint.h>

struct Registers
{
    uint64_t r15, r14, r13, r12, r11, r10, r9, r8;
    uint64_t bp, di, si, dx, cx, bx, ax;
    uint64_t ip, cs, flags, sp, ss;
};

#endif