Searched refs:seL4_UserTop (Results 1 - 25 of 27) sorted by relevance

12

/seL4-test-master/kernel/libsel4/sel4_plat_include/am335x/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/allwinnerA20/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xa0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/bcm2837/sel4/plat/api/
H A Dconstants.h24 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/hikey/sel4/plat/api/
H A Dconstants.h24 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/apq8064/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/exynos4/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/exynos5/sel4/plat/api/
H A Dconstants.h22 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx31/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xf0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx6/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/omap3/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xf0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx7/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx8mm-evk/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/imx8mq-evk/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/qemu-arm-virt/sel4/plat/api/
H A Dconstants.h27 #define seL4_UserTop 0xa0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/zynq7000/sel4/plat/api/
H A Dconstants.h23 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/tk1/sel4/plat/api/
H A Dconstants.h22 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_plat_include/zynqmp/sel4/plat/api/
H A Dconstants.h24 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/include/arch/arm/arch/32/mode/
H A Dhardware.h53 #define USER_TOP seL4_UserTop
61 #define PPTR_BASE seL4_UserTop
/seL4-test-master/kernel/include/arch/riscv/arch/32/mode/
H A Dhardware.h30 #define USER_TOP seL4_UserTop
38 #define PPTR_BASE seL4_UserTop
/seL4-test-master/kernel/include/arch/arm/arch/64/mode/
H A Dhardware.h167 #define USER_TOP seL4_UserTop
/seL4-test-master/kernel/include/arch/riscv/arch/64/mode/
H A Dhardware.h78 #define USER_TOP seL4_UserTop
/seL4-test-master/kernel/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/
H A Dconstants.h281 #define seL4_UserTop 0x00000fffffffffff macro
283 /* Currently other definitions of seL4_UserTop already have free slots at the end and don't need to subtract for seL4_VSpaceReservedSlots.
286 #define seL4_UserTop (0x000000ffffffffff - seL4_VSpaceReservedSlots * 0x40000000) macro
293 #define seL4_UserTop 0x00007fffffffffff macro
/seL4-test-master/kernel/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Dconstants.h148 #define seL4_UserTop 0xe0000000 macro
/seL4-test-master/kernel/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/
H A Dconstants.h130 #define seL4_UserTop 0x0000003ffffff000 macro
/seL4-test-master/kernel/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/
H A Dconstants.h125 #define seL4_UserTop 0x80000000lu macro

Completed in 193 milliseconds

12