From b177be46ddca58409930cb1f548893279f0531c3 Mon Sep 17 00:00:00 2001
From: Tarek El-Sherbiny <tarek.el-sherbiny@arm.com>
Date: Thu, 23 Jan 2020 12:38:53 +0000
Subject: dbg: Enable CLI checkpoint commands

This patch enables the CLI checkpoint commands

Change-Id: I29fc07bebcdfcd019325e3fd453eb3d20393b05e
Signed-off-by: Tarek El-Sherbiny <tarek.el-sherbiny@arm.com>
---
 debugger/include/checkpoint.h | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'debugger/include')

diff --git a/debugger/include/checkpoint.h b/debugger/include/checkpoint.h
index b913f5b0..b20f4a3e 100644
--- a/debugger/include/checkpoint.h
+++ b/debugger/include/checkpoint.h
@@ -7,6 +7,7 @@
 #ifndef CHECKPOINT_H
 #define CHECKPOINT_H
 
+#include <stdbool.h>
 #include <stdint.h>
 
 /*!
@@ -26,6 +27,12 @@
  */
 #define CHECKPOINT_TAG_LEN 32
 
+/*!
+ * Maximum number of checkpoints.
+ *
+ */
+#define CHECKPOINT_NUM 4
+
 /*!
  * \brief Checkpoint bypass value.
  *
-- 
cgit v1.2.3