From 5b4785ed1104fcdacd84806c93170bb4bde57b53 Mon Sep 17 00:00:00 2001
From: Robert Norton
Date: Tue, 1 May 2018 13:25:13 +0100
Subject: Implement new CGetAddr instruction. Note that we should possibly
 rename function getCapCursor to getCapAddr.

---
 cheri/Makefile | 1 +
 1 file changed, 1 insertion(+)

(limited to 'cheri/Makefile')

diff --git a/cheri/Makefile b/cheri/Makefile
index 21fd1e51..44dc3c24 100644
--- a/cheri/Makefile
+++ b/cheri/Makefile
@@ -78,6 +78,7 @@ extract: cheri_insts.sail
 	$(call EXTRACT_INST,CGetLen)
 	$(call EXTRACT_INST,CGetTag)
 	$(call EXTRACT_INST,CGetSealed)
+	$(call EXTRACT_INST,CGetAddr)
 	$(call EXTRACT_INST,CGetPCC)
 	$(call EXTRACT_INST,CGetPCCSetOffset)
 	$(call EXTRACT_INST,CGetCause)
-- 
cgit v1.2.3