1/*
2 * Copyright 2005-2012, Haiku Inc.
3 * Distributed under the terms of the MIT License.
4 */
5#ifndef _ARCH_X86_64_DEBUGGER_H
6#define _ARCH_X86_64_DEBUGGER_H
7
8
9#include <posix/arch/x86_64/signal.h>
10
11
12struct x86_64_debug_cpu_state {
13	struct savefpu	extended_registers;
14
15	uint64	gs;
16	uint64	fs;
17	uint64	es;
18	uint64	ds;
19	uint64	r15;
20	uint64	r14;
21	uint64	r13;
22	uint64	r12;
23	uint64	r11;
24	uint64	r10;
25	uint64	r9;
26	uint64	r8;
27	uint64	rbp;
28	uint64	rsi;
29	uint64	rdi;
30	uint64	rdx;
31	uint64	rcx;
32	uint64	rbx;
33	uint64	rax;
34	uint64	vector;
35	uint64	error_code;
36	uint64	rip;
37	uint64	cs;
38	uint64	rflags;
39	uint64	rsp;
40	uint64	ss;
41} __attribute__((aligned(16)));
42
43
44#endif	// _ARCH_X86_64_DEBUGGER_H
45