Searched defs:readDscrCp (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/arch/arm/armv/armv7-a/armv/
A D	debug.h	18 static inline word_t readDscrCp(void) in readDscrCp() function
/seL4-master/include/arch/arm/armv/armv8-a/32/armv/
A D	debug.h	18 static inline word_t readDscrCp(void) in readDscrCp() function

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023