diff options
| author | Robert Norton | 2018-05-01 13:25:13 +0100 |
|---|---|---|
| committer | Robert Norton | 2018-05-01 13:25:13 +0100 |
| commit | 5b4785ed1104fcdacd84806c93170bb4bde57b53 (patch) | |
| tree | 3aa25536db9ae431db2491ec6d9d0dccfb2f8858 /cheri/Makefile | |
| parent | 0db28372ec53ea067bb3199e5c9db2a8cb1cad8e (diff) | |
Implement new CGetAddr instruction. Note that we should possibly rename function getCapCursor to getCapAddr.
Diffstat (limited to 'cheri/Makefile')
| -rw-r--r-- | cheri/Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
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) |