Searched refs:DBGDSCR_ext (Results 1 - 4 of 4) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | debug.h | 24 MRC(DBGDSCR_ext, v);
35 MCR(DBGDSCR_ext, val);
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | debug.h | 24 MRC(DBGDSCR_ext, v);
35 MCR(DBGDSCR_ext, val);
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | debug.h | 24 MRC(DBGDSCR_ext, v);
35 MCR(DBGDSCR_ext, val);
|
| /seL4-test-master/kernel/include/arch/arm/arch/32/mode/machine/ |
| H A D | debug.h | 13 #define DBGDSCR_ext "p14, 0, %0, c0, c2, 2" macro
|
Completed in 98 milliseconds