ARM Architecture Reference Manual ARMv7-A and ARMv7-R edition

BVR_match = byte_select_match && (cmp_in AND NOT(mask)) == DBGBVR[N];
if mismatch then BVR_match = !BVR_match;
Debug Events
// If this is not the first unit of the instruction and there is an address match, then
// the breakpoint match is UNPREDICTABLE, except in the “single-step” case where it is a
// mismatch breakpoint without a range set. If there is a match on the first unit of the
// instruction, that will override the UNKNOWN case here. In the single-step case, matches
// on the subsequent units of the instruction are ignored.
if BVR_match && !first then
if mismatch && DBGBCR[N] == ‘00000’ then // Single-step case
BVR_match = FALSE;
else
BVR_match = boolean UNKNOWN;
// Security state
case DBGBCR[N] of
when ‘00’ secure_state_match = TRUE; // Any state (or no Security Extensions)
when ‘01’ secure_state_match = !IsSecure(); // Non-secure only
when ‘10’ secure_state_match = IsSecure(); // Secure only
when ‘11’ UNPREDICTABLE; // Reserved
match = mode_control_match && BVR_match && secure_state_match;
// If linked, check the linked BRP.
if linked then match = match && BRPLinkMatch(UInt(DBGBCR[N]));
elsif DBGBCR[N] != ‘0000’ then unk_match = TRUE;
// When Monitor debug-mode is configured:
// * some types of event are ignored in v6 Debug and v6.1 Debug in privileged modes
// * some types of event are UNPREDICTABLE in v7 Debug.
if !mon_debug_ok && DBGDSCR == ‘10’ then
if UInt(DBGDIDR.Version) < 3 then
if CurrentModeIsPrivileged() then return FALSE;
else
if DBGBCR[N] == ‘01’ || DBGBCR[N] == ‘11’ then UNPREDICTABLE;
if unk_match then
return boolean UNKNOWN;
else
return match;
// BRPLinkMatch()
// ==============
boolean BRPLinkMatch(integer M)
assert M