| /* SPDX-License-Identifier: GPL-2.0 */ | |
| #ifdef __KERNEL__ | |
| #ifndef __MICROBLAZE_KGDB_H__ | |
| #define __MICROBLAZE_KGDB_H__ | |
| #ifndef __ASSEMBLER__ | |
| #define CACHE_FLUSH_IS_SAFE 1 | |
| #define BUFMAX 2048 | |
| /* | |
| * 32 32-bit general purpose registers (r0-r31) | |
| * 6 32-bit special registers (pc, msr, ear, esr, fsr, btr) | |
| * 12 32-bit PVR | |
| * 7 32-bit MMU Regs (redr, rpid, rzpr, rtlbx, rtlbsx, rtlblo, rtlbhi) | |
| * ------ | |
| * 57 registers | |
| */ | |
| #define NUMREGBYTES (57 * 4) | |
| #define BREAK_INSTR_SIZE 4 | |
| static inline void arch_kgdb_breakpoint(void) | |
| { | |
| __asm__ __volatile__("brki r16, 0x18;"); | |
| } | |
| struct pt_regs; | |
| asmlinkage void microblaze_kgdb_break(struct pt_regs *regs); | |
| #endif /* __ASSEMBLER__ */ | |
| #endif /* __MICROBLAZE_KGDB_H__ */ | |
| #endif /* __KERNEL__ */ |