diff --git a/src/arch/arm/exception.c b/src/arch/arm/exception.c
index 1ab760c..700bcc4 100644
--- a/src/arch/arm/exception.c
+++ b/src/arch/arm/exception.c
@@ -114,7 +114,7 @@ void fault_ipc_to_pager(u32 faulty_pc, u32 fsr, u32 far)
  */
 int pager_pagein_request(unsigned long addr, unsigned long size, unsigned int flags)
 {
-	u32 abort;
+	u32 abort = 0;
 	unsigned long npages = __pfn(align_up(size, PAGE_SIZE));
 	struct ipc_state ipc_state;
 
diff --git a/src/generic/resource.c b/src/generic/resource.c
index c7b8a2a..d200ea2 100644
--- a/src/generic/resource.c
+++ b/src/generic/resource.c
@@ -575,7 +575,7 @@ int process_cap_info(struct cap_info *cap,
 		     struct boot_resources *bootres,
 		     struct kernel_container *kcont)
 {
-	int ret;
+	int ret = 0;
 
 	switch (cap->type & CAP_RTYPE_MASK) {
 	case CAP_RTYPE_THREADPOOL: