Searched refs:DBGOSLSR (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/kernel/src/arch/arm/machine/
H A Ddebug.c132 * the read of DBGOSLSR.OSLM returns zero."
134 #define DBGOSLSR "p14,0,%0,c1,c1,4" macro
883 * not implemented the read of DBGOSLSR.OSLM returns zero."
885 MRC(DBGOSLSR, dbgoslsr);

Completed in 30 milliseconds