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

Debug Events
if DBGBCR[M] != ‘11’ then unk_match = TRUE;
if DBGBCR[M] != ‘1111’ then unk_match = TRUE;
if DBGBCR[M] != ‘00’ then unk_match = TRUE;
if DBGBCR[M] != ‘0000’ then unk_match = TRUE;
if DBGBCR[M] != ‘011’ then unk_match = TRUE;
if DBGBCR[M] != ‘00000’ then unk_match = TRUE;
if unk_match then
return boolean UNKNOWN;
else
return (CONTEXTIDR == DBGBVR[M]);
// Variables used to record most recent interrupts of various types.
bits(32) VCR_Recent_IRQ_S;
bits(32) VCR_Recent_IRQ_NS;
bits(32) VCR_Recent_FIQ_S;
bits(32) VCR_Recent_FIQ_NS;
boolean VCR_Recent_IRQ_S_Valid;
boolean VCR_Recent_IRQ_NS_Valid;
boolean VCR_Recent_FIQ_S_Valid;
boolean VCR_Recent_FIQ_NS_Valid;
// VCR_OnTakingInterrupt()
// =======================
VCR_OnTakingInterrupt(bits(32) vector, boolean FIQnIRQ)
if SCTLR.VE == ‘1’ then
if FIQnIRQ then
if IsSecure() then
if DBGVCR == ‘0’ || (HaveSecurityExt() && SCR.FIQ == ‘1’) then
IMPLEMENTATION_DEFINED whether the variables are updated;
else
VCR_Recent_FIQ_S = vector;
VCR_Recent_FIQ_S_Valid = TRUE;
else
if DBGVCR == ‘0’ || (HaveSecurityExt() && SCR.FIQ == ‘1’) then
IMPLEMENTATION_DEFINED whether the variables are updated;
else
VCR_Recent_FIQ_NS = vector;
VCR_Recent_FIQ_NS_Valid = TRUE;
else
if IsSecure() then
if DBGVCR == ‘0’ || (HaveSecurityExt() && SCR.IRQ == ‘1’) then
IMPLEMENTATION_DEFINED whether the variables are updated;
else
VCR_Recent_IRQ_S = vector;
VCR_Recent_IRQ_S_Valid = TRUE;
else
if DBGVCR == ‘0’ || (HaveSecurityExt() && SCR.IRQ == ‘1’) then
IMPLEMENTATION_DEFINED whether the variables are updated;
else
VCR_Recent_IRQ_NS = vector;
C3-32 Copyright © 1996-1998, 2000, 2004-2008 ARM Limited. All rights reserved. ARM DDI 0406B