1#ifdef __KERNEL__ 2#ifndef __MICROBLAZE_KGDB_H__ 3#define __MICROBLAZE_KGDB_H__ 4 5#ifndef __ASSEMBLY__ 6 7#define CACHE_FLUSH_IS_SAFE 1 8#define BUFMAX 2048 9 10/* 11 * 32 32-bit general purpose registers (r0-r31) 12 * 6 32-bit special registers (pc, msr, ear, esr, fsr, btr) 13 * 12 32-bit PVR 14 * 7 32-bit MMU Regs (redr, rpid, rzpr, rtlbx, rtlbsx, rtlblo, rtlbhi) 15 * ------ 16 * 57 registers 17 */ 18#define NUMREGBYTES (57 * 4) 19 20#define BREAK_INSTR_SIZE 4 21static inline void arch_kgdb_breakpoint(void) 22{ 23 __asm__ __volatile__("brki r16, 0x18;"); 24} 25 26#endif /* __ASSEMBLY__ */ 27#endif /* __MICROBLAZE_KGDB_H__ */ 28#endif /* __KERNEL__ */ 29