diff --git a/src/vxworks/mod.rs b/src/vxworks/mod.rs
index a25b1d598f4c6638fac731b488a7f8c563267c07..0325c5402b0867b7cac021be7b12d53e3230d5b1 100755
--- a/src/vxworks/mod.rs
+++ b/src/vxworks/mod.rs
@@ -1318,7 +1318,7 @@ extern "C" {
     pub fn flock(fd: ::c_int, operation: ::c_int) -> ::c_int;
 
     pub fn gettimeofday(tp: *mut ::timeval, tz: *mut ::c_void) -> ::c_int;
-    pub fn pthread_exit(value: *mut ::c_void);
+    pub fn pthread_exit(value: *mut ::c_void) -> !;
     pub fn pthread_attr_setdetachstate(
         attr: *mut ::pthread_attr_t,
         state: ::c_int,