diff --git a/include/lib/extensions/pauth.h b/include/lib/extensions/pauth.h
index a4da009..d072f5c 100644
--- a/include/lib/extensions/pauth.h
+++ b/include/lib/extensions/pauth.h
@@ -15,6 +15,9 @@
 
 /* Program APIAKey_EL1 key and enable ARMv8.3-PAuth */
 void pauth_init_enable(void);
+
+/* Disable ARMv8.3-PAuth */
+void pauth_disable(void);
 #endif	/* __aarch64__ */
 
 #endif /* PAUTH_H */