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

/seL4-refos-master/kernel/include/arch/arm/armv/armv6/armv/
H A Ddebug.h129 static inline bool_t Arch_breakpointIsMismatch(dbg_bcr_t in_val) function
/seL4-refos-master/kernel/include/arch/arm/armv/armv7ve/armv/
H A Ddebug.h164 static inline bool_t Arch_breakpointIsMismatch(dbg_bcr_t in_val) function
/seL4-refos-master/kernel/include/arch/arm/armv/armv7-a/armv/
H A Ddebug.h164 static inline bool_t Arch_breakpointIsMismatch(dbg_bcr_t in_val) function
/seL4-refos-master/kernel/include/arch/arm/armv/armv8-a/32/armv/
H A Ddebug.h164 static inline bool_t Arch_breakpointIsMismatch(dbg_bcr_t in_val) function
/seL4-refos-master/kernel/include/arch/arm/arch/machine/
H A Ddebug.h259 if (Arch_breakpointIsMismatch(bcr) == true && dbg_bcr_get_enabled(bcr)) {
/seL4-refos-master/kernel/src/arch/arm/machine/
H A Ddebug.c608 if (Arch_breakpointIsMismatch(bcr) == true) {
1104 if (!dbg_bcr_get_enabled(bcr) || Arch_breakpointIsMismatch(bcr) != true) {

Completed in 85 milliseconds