Searched refs:kernelBase (Results 1 - 25 of 30) sorted by relevance

12

/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/32/plat_mode/machine/
H A Dhardware.h16 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/32/plat_mode/machine/
H A Dhardware.h16 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/32/plat_mode/machine/
H A Dhardware.h23 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/bcm2837/plat/64/plat_mode/machine/
H A Dhardware.h16 #define kernelBase 0xffffff8000000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/hikey/plat/64/plat_mode/machine/
H A Dhardware.h16 #define kernelBase 0xffffff8000000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/zynqmp/plat/64/plat_mode/machine/
H A Dhardware.h23 #define kernelBase 0xffffff8000000000 macro
/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/allwinnerA20/plat/machine/
H A Dhardware.h21 #define kernelBase 0xA0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/am335x/plat/machine/
H A Dhardware.h21 #define kernelBase 0xf0000000 macro
68 { /* .start = */ (pptr_t)ki_end - (kernelBase - physBase), /* .end = */ 0x88000000 }
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/32/plat_mode/machine/
H A Dhardware.h47 #define kernelBase PPTR_USER_TOP macro
/seL4-l4v-10.1.1/seL4/include/plat/tx2/plat/machine/
H A Dhardware.h25 #define kernelBase 0xffffff8000000000llu macro
/seL4-l4v-10.1.1/seL4/include/plat/tx1/plat/machine/
H A Dhardware.h29 #define kernelBase 0x0000ff8080000000llu macro
40 #define kernelBase 0xffffff8000000000llu macro
/seL4-l4v-10.1.1/seL4/include/plat/pc99/plat/64/plat_mode/machine/
H A Dhardware.h62 #define kernelBase KERNEL_BASE macro
/seL4-l4v-10.1.1/seL4/include/plat/spike/plat/machine/
H A Dhardware.h54 #define kernelBase KERNEL_BASE macro
/seL4-l4v-10.1.1/seL4/include/plat/zynq7000/plat/machine/
H A Dhardware.h22 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/src/arch/arm/kernel/
H A Dboot.c108 .start = kernelBase,
392 if (it_v_reg.end > kernelBase) {
520 kernelBase, (pptr_t)ki_boot_end
/seL4-l4v-10.1.1/seL4/include/plat/imx31/plat/machine/
H A Dhardware.h21 #define kernelBase 0xf0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/imx7/plat/machine/
H A Dhardware.h20 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/imx6/plat/machine/
H A Dhardware.h22 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/omap3/plat/machine/
H A Dhardware.h22 #define kernelBase 0xf0000000 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 */
226 idx = kernelBase >> pageBitsForSize(ARMSection);
349 /* Invalidate up until kernelBase */
350 for (idx = 0; idx < (kernelBase - 0xC0000000) >> (PT_INDEX_BITS + PAGE_BITS); idx++) {
354 /* mapping of kernelBase (virtual address) to kernel's physBase */
630 lockTLBEntry(kernelBase);
649 lockTLBEntry(kernelBase);
1304 for (i = kernelBase >> ARMSectionBits; i < BIT(PD_INDEX_BITS); i++) {
2229 if (start >= kernelBase || end > kernelBase) {
[all...]
/seL4-l4v-10.1.1/seL4/include/plat/exynos4/plat/machine/
H A Dhardware.h20 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/include/plat/tk1/plat/machine/
H A Dhardware.h28 #define kernelBase 0xe0000000 macro
/seL4-l4v-10.1.1/seL4/src/arch/arm/32/machine/
H A Dcapdl.c146 if (exists != 0 && i < kernelBase >> pageBitsForSize(ARMSection)) {

Completed in 120 milliseconds

12