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


typedef struct x86_fp_register {
        uint8           value[10];
        uint8           reserved[6];
} x86_fp_register;


typedef struct x86_xmm_register {
        uint8           value[16];
} x86_xmm_register;


typedef struct x86_extended_registers {
        uint16                          control;
        uint16                          status;
        uint8                           tag;
        uint8                           reserved1;
        uint16                          opcode;
        uint32                          instruction_pointer;
        uint16                          cs;
        uint16                          reserved2;
        uint32                          data_pointer;
        uint16                          ds;
        uint16                          reserved3;
        uint32                          mxcsr;
        uint32                          mxcsr_mask;
        union {
                x86_fp_register fp_registers[8];        // st0-st7
                x86_fp_register mmx_registers[8];       // mm0-mm7
        };
        x86_xmm_register        xmm_registers[8];       // xmm0-xmm7
        uint8                           reserved4[224];         // 288 - 512
} x86_extended_registers;


struct x86_debug_cpu_state {
        x86_extended_registers  extended_registers;

        uint32  gs;
        uint32  fs;
        uint32  es;
        uint32  ds;
        uint32  edi;
        uint32  esi;
        uint32  ebp;
        uint32  esp;
        uint32  ebx;
        uint32  edx;
        uint32  ecx;
        uint32  eax;
        uint32  vector;
        uint32  error_code;
        uint32  eip;
        uint32  cs;
        uint32  eflags;
        uint32  user_esp;
        uint32  user_ss;
} __attribute__((aligned(16)));


#endif  // _ARCH_X86_DEBUGGER_H