#ifndef GDBMACH_H
#define GDBMACH_H
/** @file
*
* GDB architecture specifics
*
* This file declares functions for manipulating the machine state and
* debugging context.
*
*/
#include <stdint.h>
typedef unsigned long gdbreg_t;
/* The register snapshot, this must be in sync with interrupt handler and the
* GDB protocol. */
enum {
};
/* Breakpoint types */
enum {
};
}
}
static inline void gdbmach_breakpoint ( void ) {
}
#endif /* GDBMACH_H */