ipsec: Fix decap of IPSEC/GRE in transport mode

[vpp.git] / src / vppinfra / os.h

diff --git a/src/vppinfra/os.h b/src/vppinfra/os.h
index 3ec214e..50a4ad9 100644 (file)
--- a/src/vppinfra/os.h
+++ b/src/vppinfra/os.h
@@ -64,6 +64,12 @@ os_get_thread_index (void)
   return __os_thread_index;
 }
 
+static_always_inline void
+os_set_thread_index (uword thread_index)
+{
+  __os_thread_index = thread_index;
+}
+
 static_always_inline uword
 os_get_cpu_number (void) __attribute__ ((deprecated));