From a4c014ca8eb18dbe34801beb1ef2b68c8ee8dcf9 Mon Sep 17 00:00:00 2001
From: Adrian Danis <Adrian.Danis@data61.csiro.au>
Date: Thu, 13 Oct 2016 14:26:33 +1100
Subject: [PATCH] x64: Missing c_exit_hook

---
 include/arch/x86/arch/64/mode/fastpath/fastpath.h | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/include/arch/x86/arch/64/mode/fastpath/fastpath.h b/include/arch/x86/arch/64/mode/fastpath/fastpath.h
index 90c356c73..f4489c4d4 100644
--- a/include/arch/x86/arch/64/mode/fastpath/fastpath.h
+++ b/include/arch/x86/arch/64/mode/fastpath/fastpath.h
@@ -94,6 +94,8 @@ fastpath_mi_check(word_t msgInfo)
 static inline void NORETURN
 fastpath_restore(word_t badge, word_t msgInfo, tcb_t *cur_thread)
 {
+    c_exit_hook();
+
     if (unlikely(cur_thread == x86KSfpuOwner)) {
         /* We are using the FPU, make sure it is enabled */
         enableFpu();