Searched refs:DBGSDER (Results 1 - 4 of 4) sorted by relevance
/seL4-mcs-10.1.1/src/arch/arm/armv/armv7-a/ |
H A D | user_access.c | 40 MRC(DBGSDER, v); 42 MCR(DBGSDER, v);
|
/seL4-mcs-10.1.1/src/arch/arm/armv/armv8-a/32/ |
H A D | user_access.c | 40 MRC(DBGSDER, v); 42 MCR(DBGSDER, v);
|
/seL4-mcs-10.1.1/include/arch/arm/arch/32/mode/machine/ |
H A D | debug.h | 21 #define DBGSDER "p15, 0, %0, c1, c1, 1" macro
|
/seL4-mcs-10.1.1/src/arch/arm/machine/ |
H A D | debug.c | 890 MRC(DBGSDER, sder); 891 MCR(DBGSDER, sder
|
Completed in 36 milliseconds