diff --git a/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h b/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexa53/32bit/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h b/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexa53/64bit/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/cortexa9/xil_printf.h b/lib/bsp/standalone/src/cortexa9/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexa9/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexa9/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/cortexr5/xil_printf.h b/lib/bsp/standalone/src/cortexr5/xil_printf.h
index 2be5c573..fb282123 100644
--- a/lib/bsp/standalone/src/cortexr5/xil_printf.h
+++ b/lib/bsp/standalone/src/cortexr5/xil_printf.h
@@ -32,7 +32,7 @@ typedef s32 (*func_ptr)(int c);
 
 /*                                                   */
 
-void xil_printf( const char8 *ctrl1, ...);
+void xil_printf( const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print( const char8 *ptr);
 extern void outbyte (char8 c);
 extern char8 inbyte(void);
diff --git a/lib/bsp/standalone/src/microblaze/xil_printf.h b/lib/bsp/standalone/src/microblaze/xil_printf.h
index a1675924..64ae1f94 100644
--- a/lib/bsp/standalone/src/microblaze/xil_printf.h
+++ b/lib/bsp/standalone/src/microblaze/xil_printf.h
@@ -38,7 +38,7 @@
 extern "C" {
 #endif
 
-void xil_printf(const char8 *ctrl1, ...);
+void xil_printf(const char8 *ctrl1, ...) __attribute__((format(printf, 1, 2)));
 void print(char *ptr);
 
 #ifdef __cplusplus