Searched refs:physBase (Results 1 - 20 of 20) sorted by relevance

/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/
H A Dhardware.h26 #define BASE_OFFSET (kernelBase - physBase)
/seL4-l4v-10.1.1/seL4/include/arch/arm/arch/64/mode/
H A Dhardware.h20 #define BASE_OFFSET (kernelBase - physBase)
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/machine/
H A Dhardware.h23 #define physBase 0x80000000 macro
65 #define PHYSICAL_RAM_START physBase
/seL4-l4v-10.1.1/seL4/include/plat/allwinnerA20/plat/machine/
H A Dhardware.h20 #define physBase 0x48000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dhardware.h20 #define physBase 0x80000000 macro
68 { /* .start = */ (pptr_t)ki_end - (kernelBase - physBase), /* .end = */ 0x88000000 }
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/machine/
H A Dhardware.h24 #define physBase 0x01000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/machine/
H A Dhardware.h31 #define physBase 0x00000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/machine/
H A Dhardware.h21 #define physBase 0x20000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Dhardware.h23 #define physBase 0x80000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Dhardware.h21 #define physBase 0x00000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dhardware.h20 #define physBase 0x80000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/
H A Dhardware.h19 #define physBase 0x80000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/machine/
H A Dhardware.h21 #define physBase 0x10000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dhardware.h21 #define physBase 0x80000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Dhardware.h19 #define physBase 0x40000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Dhardware.h27 #define physBase 0x80000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/apq8064/plat/machine/
H A Dhardware.h19 #define physBase 0x80000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/exynos5/plat/machine/
H A Dhardware.h21 #define physBase 0x60000000 macro
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/kernel/
H A Dvspace.c223 /* mapping of kernelBase (virtual address) to kernel's physBase */
225 phys = physBase;
354 /* mapping of kernelBase (virtual address) to kernel's physBase */
356 phys = physBase;
/seL4-l4v-10.1.1/seL4/src/arch/arm/64/kernel/
H A Dvspace.c295 for (paddr = physBase; paddr < PADDR_TOP; paddr += BIT(seL4_LargePageBits)) {

Completed in 76 milliseconds