/* SPDX-License-Identifier: GPL-2.0 */
|
#ifdef __KERNEL__
|
#ifndef __MICROBLAZE_KGDB_H__
|
#define __MICROBLAZE_KGDB_H__
|
|
#ifndef __ASSEMBLY__
|
|
#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 /* __ASSEMBLY__ */
|
#endif /* __MICROBLAZE_KGDB_H__ */
|
#endif /* __KERNEL__ */
|
