diff --git a/devicemodel/core/mevent.c b/devicemodel/core/mevent.c
index 888ca8395..7dfa9cea8 100644
--- a/devicemodel/core/mevent.c
+++ b/devicemodel/core/mevent.c
@@ -112,7 +112,7 @@ mevent_pipe_read(int fd, enum ev_type type, void *param)
 int
 mevent_notify(void)
 {
-	char c;
+	char c = 0;
 
 	/*
 	 * If calling from outside the i/o thread, write a byte on the
diff --git a/misc/debug_tools/acrn_crashlog/acrnprobe/include/probeutils.h b/misc/debug_tools/acrn_crashlog/acrnprobe/include/probeutils.h
index f8c39edf5..a9846e716 100644
--- a/misc/debug_tools/acrn_crashlog/acrnprobe/include/probeutils.h
+++ b/misc/debug_tools/acrn_crashlog/acrnprobe/include/probeutils.h
@@ -38,8 +38,8 @@ enum key_type {
 	KEY_LONG,
 };
 
-int get_uptime_string(char newuptime[24], int *hours);
-int get_current_time_long(char buf[32]);
+int get_uptime_string(char *newuptime, int *hours);
+int get_current_time_long(char *buf);
 unsigned long long get_uptime(void);
 char *generate_event_id(const char *seed1, size_t slen1, const char *seed2,
 			size_t slen2, enum key_type type);