diff options
| author | Robert Norton | 2017-03-10 10:48:55 +0000 |
|---|---|---|
| committer | Robert Norton | 2017-03-24 16:46:31 +0000 |
| commit | dee8e5c004bc3eb13a6470f3e3c5947ca7d2be64 (patch) | |
| tree | d46b90ae94f0b97a3dbe4c2d4b2061fc8b584739 /cheri/Makefile | |
| parent | 888d06d3e224b9063f330aec22a4e23a9c89a48a (diff) | |
Extract CGetLen from cheri sail.
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 4e9a397a..813902a2 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -5,6 +5,7 @@ extract: cheri_insts.sail $(call EXTRACT_INST,CGetType) $(call EXTRACT_INST,CGetBase) $(call EXTRACT_INST,CGetOffset) + $(call EXTRACT_INST,CGetLen) $(call EXTRACT_INST,CGetTag) $(call EXTRACT_INST,CGetSealed) $(call EXTRACT_INST,CGetPCC) |