diff --git a/arch/x86/include/asm/icc.h b/arch/x86/include/asm/icc.h
index 31fdb2ef..dfc69302 100644
--- a/arch/x86/include/asm/icc.h
+++ b/arch/x86/include/asm/icc.h
@@ -51,9 +51,9 @@ typedef struct {
 #define ICC_TYPE_PINGRESPONSE	(1 << 3)
 
 int icc_init(void);
-int icc_ping();
+int icc_ping(int ue);
 void icc_check(void);
-
+int icc_halt(void);
 #endif
 
 #ifdef __cplusplus