arm: Add paddr_t/vaddr_t

ARM targets now have access to the address types 'paddr_t' and 'vaddr_t'.

Change-Id: Ic7225647f3776d4afa853cf2c4a19699b656866a
Signed-off-by: Benjamin Walsh <benjamin.walsh@windriver.com>
This commit is contained in:
Benjamin Walsh 2015-09-18 15:57:27 -04:00 committed by Anas Nashif
commit 4690457b17
2 changed files with 28 additions and 0 deletions

View file

@ -46,6 +46,7 @@ extern "C" {
#include <arch/arm/cortex_m/memory_map.h>
#include <arch/arm/cortex_m/gdb_stub.h>
#include <arch/arm/cortex_m/asm_inline.h>
#include <arch/arm/cortex_m/addr_types.h>
#endif
#define STACK_ALIGN 4