| /* |
| * Copyright (C) 2012 ARM Ltd. |
| * |
| * This program is free software; you can redistribute it and/or modify |
| * it under the terms of the GNU General Public License version 2 as |
| * published by the Free Software Foundation. |
| */ |
| |
| #ifndef __ASM_BRK_IMM_H |
| #define __ASM_BRK_IMM_H |
| |
| /* |
| * #imm16 values used for BRK instruction generation |
| * Allowed values for kgdb are 0x400 - 0x7ff |
| * 0x100: for triggering a fault on purpose (reserved) |
| * 0x400: for dynamic BRK instruction |
| * 0x401: for compile time BRK instruction |
| * 0x800: kernel-mode BUG() and WARN() traps |
| */ |
| #define FAULT_BRK_IMM 0x100 |
| #define KGDB_DYN_DBG_BRK_IMM 0x400 |
| #define KGDB_COMPILED_DBG_BRK_IMM 0x401 |
| #define BUG_BRK_IMM 0x800 |
| |
| #endif |
