Imagelibrary/seL4
1
0
Fork 1
mirror of https://github.com/seL4/seL4.git synced 2026-03-27 10:29:57 +00:00
Code Issues Packages Projects Releases Wiki Activity

re-use existing functions to avoid redundancy

Browse Source 
Signed-off-by: Axel Heider <axelheider@gmx.de>
This commit is contained in:
Axel Heider
2021-11-17 03:11:19 +01:00
committed by Gerwin Klein
parent b7ff28c73f
commit 6dd3a18065
1 changed files with 8 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

13
include/machine.h
View File

@@ -35,22 +35,25 @@ static inline paddr_t CONST addrFromKPPtr(const void *pptr)
return (paddr_t)pptr - KERNEL_ELF_BASE_OFFSET;
}
#define paddr_to_pptr(x) ptrFromPAddr(x)
#define pptr_to_paddr(x) addrFromPPtr(x)
#define kpptr_to_paddr(x) addrFromKPPtr(x)
static inline region_t CONST paddr_to_pptr_reg(const p_region_t p_reg)
{
return (region_t) {
p_reg.start + PPTR_BASE_OFFSET, p_reg.end + PPTR_BASE_OFFSET
.start = (paddr_t)paddr_to_pptr(p_reg.start),
.end = (paddr_t)paddr_to_pptr(p_reg.end)
};
}
static inline p_region_t CONST pptr_to_paddr_reg(const region_t reg)
{
return (p_region_t) {
reg.start - PPTR_BASE_OFFSET, reg.end - PPTR_BASE_OFFSET
.start = pptr_to_paddr((const void *)reg.start),
.end = pptr_to_paddr((const void *)reg.end),
};
}
#define paddr_to_pptr(x) ptrFromPAddr(x)
#define pptr_to_paddr(x) addrFromPPtr(x)
#define kpptr_to_paddr(x) addrFromKPPtr(x)
#include <mode/machine.h>