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