Searched refs:DBGOSDLR_LOCK_ENABLE (Results 1 - 1 of 1) sorted by relevance
/seL4-camkes-master/kernel/src/arch/arm/machine/ | ||
H A D | debug.c | 40 #define DBGOSDLR_LOCK_ENABLE (BIT(0)) macro 871 MCR(DBGOSDLR, dbgosdlr & ~DBGOSDLR_LOCK_ENABLE); |
Completed in 31 milliseconds