1 files changed, 3 insertions, 0 deletions
diff --git a/src/tcgbios.h b/src/tcgbios.h
index c6abd2c7..332d7852 100644
--- a/src/tcgbios.h
+++ b/src/tcgbios.h
@@ -379,6 +379,9 @@ enum ipltype {
 };
 
 
+struct bregs;
+void tpm_interrupt_handler32(struct bregs *regs);
+
 u32 tpm_start(void);
 u32 tpm_leave_bios(void);
 u32 tpm_s3_resume(void);