arm9tdmi vector_catch: reserved means "don't use"

[fw/openocd] / src / target / arm9tdmi.h

diff --git a/src/target/arm9tdmi.h b/src/target/arm9tdmi.h
index 28be9b6cd32d9cc6e37d30aac2b3747ae4d0f140..9dfa8863103e0d059223ada949dc6acde3c55f4b 100644 (file)
--- a/src/target/arm9tdmi.h
+++ b/src/target/arm9tdmi.h
@@ -47,7 +47,7 @@ enum arm9tdmi_vector
        ARM9TDMI_SWI_VECTOR = 0x04,
        ARM9TDMI_PABT_VECTOR = 0x08,
        ARM9TDMI_DABT_VECTOR = 0x10,
-       ARM9TDMI_RESERVED_VECTOR = 0x20,
+       /* BIT(5) reserved -- must be zero */
        ARM9TDMI_IRQ_VECTOR = 0x40,
        ARM9TDMI_FIQ_VECTOR = 0x80,
 };