diff --git a/headers/private/kernel/arch/riscv64/arch_kernel_args.h b/headers/private/kernel/arch/riscv64/arch_kernel_args.h
index ddb9c85b08..0286024abf 100644
--- a/headers/private/kernel/arch/riscv64/arch_kernel_args.h
+++ b/headers/private/kernel/arch/riscv64/arch_kernel_args.h
@@ -9,12 +9,21 @@
 #	error This file is included from <boot/kernel_args.h> only
 #endif
 
+#define _PACKED __attribute__((packed))
+
+#define MAX_VIRTUAL_RANGES_TO_KEEP      32
+
+
 // kernel args
 typedef struct {
 	// architecture specific
 	uint64		phys_pgdir;
 	uint64  	vir_pgdir;
 	uint64		next_pagetable;
+
+	// The virtual ranges we want to keep in the kernel.
+	uint32		num_virtual_ranges_to_keep;
+	addr_range	virtual_ranges_to_keep[MAX_VIRTUAL_RANGES_TO_KEEP];
 } arch_kernel_args;
 
 #endif	/* KERNEL_ARCH_RISCV64_KERNEL_ARGS_H */