| /* | |
| * 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 |