pub const ARM_MAX_WATCHPOINTS: u32 = 1u32;