From 71e22620a827ce03cfba6ea0f682edb66ea716ba Mon Sep 17 00:00:00 2001
From: Andrew Boie <andrew.p.boie@intel.com>
Date: Wed, 29 Jun 2016 15:26:14 -0700
Subject: [PATCH] nios2: define vaddr_t and paddr_t

Change-Id: I09b91159b4c30876026fe7ae32109afb9164332d
Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
---
 include/arch/nios2/arch.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/include/arch/nios2/arch.h b/include/arch/nios2/arch.h
index 4dafe1d0648..1ed73e76546 100644
--- a/include/arch/nios2/arch.h
+++ b/include/arch/nios2/arch.h
@@ -50,6 +50,10 @@ extern "C" {
 #include <irq.h>
 #include <sw_isr_table.h>
 
+/* physical/virtual address types required by microkernel */
+typedef unsigned int paddr_t;
+typedef unsigned int vaddr_t;
+
 /**
  * Configure a static interrupt.
  *