From e1556c857692b9595357a35bcd567f6761c2abc4 Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Wed, 6 Apr 2022 18:30:25 -0400
Subject: [PATCH] add machine hook tcx parameters

---
 src/machine.rs | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/src/machine.rs b/src/machine.rs
index 9108f4f1666..9e0cb69f28d 100644
--- a/src/machine.rs
+++ b/src/machine.rs
@@ -605,6 +605,7 @@ fn ptr_get_alloc(
 
     #[inline(always)]
     fn memory_read(
+        _tcx: TyCtxt<'tcx>,
         machine: &Self,
         alloc_extra: &AllocExtra,
         tag: Tag,
@@ -627,6 +628,7 @@ fn memory_read(
 
     #[inline(always)]
     fn memory_written(
+        _tcx: TyCtxt<'tcx>,
         machine: &mut Self,
         alloc_extra: &mut AllocExtra,
         tag: Tag,
@@ -649,6 +651,7 @@ fn memory_written(
 
     #[inline(always)]
     fn memory_deallocated(
+        _tcx: TyCtxt<'tcx>,
         machine: &mut Self,
         alloc_extra: &mut AllocExtra,
         tag: Tag,