/*
 * Copyright 2005-2012, Haiku Inc.
 * Distributed under the terms of the MIT License.
 */
#ifndef _ARCH_X86_64_DEBUGGER_H
#define _ARCH_X86_64_DEBUGGER_H


#include <posix/arch/x86_64/signal.h>


struct x86_64_debug_cpu_state {
	struct savefpu	extended_registers;

	uint64	gs;
	uint64	fs;
	uint64	es;
	uint64	ds;
	uint64	r15;
	uint64	r14;
	uint64	r13;
	uint64	r12;
	uint64	r11;
	uint64	r10;
	uint64	r9;
	uint64	r8;
	uint64	rbp;
	uint64	rsi;
	uint64	rdi;
	uint64	rdx;
	uint64	rcx;
	uint64	rbx;
	uint64	rax;
	uint64	vector;
	uint64	error_code;
	uint64	rip;
	uint64	cs;
	uint64	rflags;
	uint64	rsp;
	uint64	ss;
} __attribute__((aligned(16)));


#endif	// _ARCH_X86_64_DEBUGGER_H