@@ -127,4 +127,8 @@ DEF_HELPER_2(stq_c_raw, i64, i64, i64)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -451,4 +451,8 @@ DEF_HELPER_2(set_teecr, void, env, i32)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -27,4 +27,8 @@ DEF_HELPER_0(top_evaluate_flags, void)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -221,4 +221,8 @@ DEF_HELPER_2(rcrq, tl, tl, tl)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -55,4 +55,8 @@ DEF_HELPER_1(raise_exception, void, i32)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -38,4 +38,8 @@ DEF_HELPER_4(memalign, void, i32, i32, i32, i32)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -291,4 +291,8 @@ DEF_HELPER_0(wait, void)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -405,4 +405,8 @@ DEF_HELPER_2(store_601_batu, void, i32, tl)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -54,4 +54,8 @@ DEF_HELPER_1(ftrc_DT, i32, i64)
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"
@@ -164,4 +164,8 @@ DEF_HELPER_0(compute_C_icc, i32);
#include "backdoor/helper.h"
#endif
+#if defined(CONFIG_INSTRUMENT)
+#include "instrument-host-helpers.h"
+#endif
+
#include "def-helper.h"