(src/lib) sync casemate.h

rems-project · Feb 5, 2025 · a9772ee · a9772ee
1 parent 6a7bbca
commit a9772ee
Showing 1 changed file with 7 additions and 1 deletion.
diff --git a/src/lib/casemate.h b/src/lib/casemate.h
@@ -6,7 +6,7 @@
  * Casemate public interface
  */
 
-#define CASEMATE_VERSION "1.0.0"
+#define CASEMATE_VERSION "1.0.0-wip-vmids"
 
 /* auto-included by Makefile */
 /* Types also defined by UoC's pKVM ghost code headers
@@ -1064,6 +1064,12 @@ static inline void __casemate_model_step_tlbi(u64 tid, struct src_loc src_loc, e
 	});
 }
 
+#define casemate_model_step_tlbi_va(TLBI_KIND, ADDR, TTL, ASID) \
+	casemate_model_step_tlbi_reg((TLBI_KIND), (ADDR) | ((TTL) << 44ULL) | ((ASID) << 48ULL))
+
+#define casemate_model_step_tlbi_ipa(TLBI_KIND, ADDR, TTL) \
+	casemate_model_step_tlbi_reg((TLBI_KIND), (ADDR) | ((TTL) << 44ULL))
+
 #define casemate_model_step_msr(...) __casemate_model_step_msr(THREAD_ID, SRC_LOC, __VA_ARGS__)
 static inline void __casemate_model_step_msr(u64 tid, struct src_loc src_loc, enum ghost_sysreg_kind sysreg, u64 val)
 {