Searched refs:DBGWCR_0 (Results 1 - 3 of 3) sorted by relevance
| /seL4-test-master/kernel/include/arch/arm/armv/armv7ve/armv/ |
| H A D | debug.h | 44 #define DBGWCR_0 "p14,0,%0,c0,c0,7" macro
77 MRC(DBGWCR_0, wcrtmp);
79 MCR(DBGWCR_0, wcrtmp);
82 MRC(DBGWCR_0, wcrtmp);
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv7-a/armv/ |
| H A D | debug.h | 44 #define DBGWCR_0 "p14,0,%0,c0,c0,7" macro
77 MRC(DBGWCR_0, wcrtmp);
79 MCR(DBGWCR_0, wcrtmp);
82 MRC(DBGWCR_0, wcrtmp);
|
| /seL4-test-master/kernel/include/arch/arm/armv/armv8-a/32/armv/ |
| H A D | debug.h | 44 #define DBGWCR_0 "p14,0,%0,c0,c0,7" macro
77 MRC(DBGWCR_0, wcrtmp);
79 MCR(DBGWCR_0, wcrtmp);
82 MRC(DBGWCR_0, wcrtmp);
|
Completed in 24 milliseconds