1 /* SPDX-License-Identifier: GPL-2.0 */
3 #ifndef __MICROBLAZE_KGDB_H__
4 #define __MICROBLAZE_KGDB_H__
8 #define CACHE_FLUSH_IS_SAFE 1
12 * 32 32-bit general purpose registers (r0-r31)
13 * 6 32-bit special registers (pc, msr, ear, esr, fsr, btr)
15 * 7 32-bit MMU Regs (redr, rpid, rzpr, rtlbx, rtlbsx, rtlblo, rtlbhi)
19 #define NUMREGBYTES (57 * 4)
21 #define BREAK_INSTR_SIZE 4
22 static inline void arch_kgdb_breakpoint(void)
24 __asm__
__volatile__("brki r16, 0x18;");
28 asmlinkage
void microblaze_kgdb_break(struct pt_regs
*regs
);
30 #endif /* __ASSEMBLY__ */
31 #endif /* __MICROBLAZE_KGDB_H__ */
32 #endif /* __KERNEL__ */