1diff -Naur tpm_emulator-x86_64-back/tpm/tpm_emulator_extern.c tpm_emulator-x86_64/tpm/tpm_emulator_extern.c
2--- tpm_emulator-x86_64-back/tpm/tpm_emulator_extern.c	2012-04-27 10:55:46.581963398 -0400
3+++ tpm_emulator-x86_64/tpm/tpm_emulator_extern.c	2012-04-27 10:56:02.193034152 -0400
4@@ -249,7 +249,7 @@
5 #else /* TPM_NO_EXTERN */
6
7 int (*tpm_extern_init)(void)                                      = NULL;
8-int (*tpm_extern_release)(void)                                   = NULL;
9+void (*tpm_extern_release)(void)                                   = NULL;
10 void* (*tpm_malloc)(size_t size)                                  = NULL;
11 void (*tpm_free)(/*const*/ void *ptr)                             = NULL;
12 void (*tpm_log)(int priority, const char *fmt, ...)               = NULL;
13