x86: Add addr_types.h to arch.h

This makes the types 'paddr_t' and 'vaddr_t' available via nanokernel.h.

Change-Id: I75b81356566e2063979f2ec46f326d606638efa2
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
This commit is contained in:
Benjamin Walsh 2015-09-18 16:05:10 -04:00 committed by Anas Nashif
commit b55e2fc50a

View file

@ -26,6 +26,7 @@
#ifndef _ASMLANGUAGE
#include <arch/x86/asm_inline.h>
#include <arch/x86/addr_types.h>
#endif
/* APIs need to support non-byte addressable architectures */