859091b414
* rename physBaseMapping to BASE_OFFSET
* because physBaseMapping was only used explicity in a few places
* move duplicated arm definions up a level
- PPTR_TOP
- PADDR_TOP
- BASE_OFFSET
50 lines
998 B
C
50 lines
998 B
C
/*
|
|
* Copyright 2014, General Dynamics C4 Systems
|
|
*
|
|
* This software may be distributed and modified according to the terms of
|
|
* the GNU General Public License version 2. Note that NO WARRANTY is provided.
|
|
* See "LICENSE_GPLv2.txt" for details.
|
|
*
|
|
* @TAG(GD_GPL)
|
|
*/
|
|
|
|
#ifndef __MACHINE_H
|
|
#define __MACHINE_H
|
|
|
|
#include <plat/machine.h>
|
|
#include <machine/registerset.h>
|
|
|
|
#include <mode/machine.h>
|
|
|
|
static inline void* CONST
|
|
ptrFromPAddr(paddr_t paddr)
|
|
{
|
|
return (void*)(paddr + BASE_OFFSET);
|
|
}
|
|
|
|
static inline paddr_t CONST
|
|
addrFromPPtr(void* pptr)
|
|
{
|
|
return (paddr_t)pptr - BASE_OFFSET;
|
|
}
|
|
|
|
static inline region_t CONST
|
|
paddr_to_pptr_reg(p_region_t p_reg)
|
|
{
|
|
return (region_t) {
|
|
p_reg.start + BASE_OFFSET, p_reg.end + BASE_OFFSET
|
|
};
|
|
}
|
|
|
|
static inline p_region_t CONST
|
|
pptr_to_paddr_reg(region_t reg)
|
|
{
|
|
return (p_region_t) {
|
|
reg.start - BASE_OFFSET, reg.end - BASE_OFFSET
|
|
};
|
|
}
|
|
|
|
#define paddr_to_pptr ptrFromPAddr
|
|
#define pptr_to_paddr(x) addrFromPPtr(x)
|
|
|
|
#endif
|