michaelh/zephyr
1
0
Fork 0
Code Releases Activity

nios2: define vaddr_t and paddr_t

Browse source 
Change-Id: I09b91159b4c30876026fe7ae32109afb9164332d
Signed-off-by: Andrew Boie <andrew.p.boie@intel.com>
This commit is contained in:
Andrew Boie 2016-06-29 15:26:14 -07:00
commit 71e22620a8
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
include/arch/nios2/arch.h
View file

@ -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.
*