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

/seL4-refos-master/kernel/include/arch/arm/armv/armv6/armv/
H A Ddebug.h25 static word_t readDscrCp(void) function
73 dscr.words[0] = readDscrCp();
103 dscr.words[0] = readDscrCp();
/seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Ddebug.h18 static inline word_t readDscrCp(void) function
105 dscr.words[0] = readDscrCp();
131 dscr.words[0] = readDscrCp();
/seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Ddebug.h18 static inline word_t readDscrCp(void) function
105 dscr.words[0] = readDscrCp();
131 dscr.words[0] = readDscrCp();
/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Ddebug.h18 static inline word_t readDscrCp(void) function
105 dscr.words[0] = readDscrCp();
131 dscr.words[0] = readDscrCp();
/seL4-refos-master/kernel/src/arch/arm/armv/armv8-a/32/
H A Duser_access.c35 if (!(readDscrCp() & DBGDSCR_SECURE_MODE_DISABLED)) {
/seL4-refos-master/kernel/src/arch/arm/armv/armv7-a/
H A Duser_access.c35 if (!(readDscrCp() & DBGDSCR_SECURE_MODE_DISABLED)) {
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Ddebug.c508 dscr.words[0] = readDscrCp();
855 dbg.cpu_is_in_secure_mode = !(readDscrCp() & DBGDSCR_SECURE_MODE_DISABLED);

Completed in 190 milliseconds