| /seL4-master/include/arch/arm/arch/32/mode/ |
| A D | hardware.h | 53 #define USER_TOP seL4_UserTop
61 #define PPTR_BASE seL4_UserTop
|
| /seL4-master/include/arch/riscv/arch/32/mode/ |
| A D | hardware.h | 30 #define USER_TOP seL4_UserTop
38 #define PPTR_BASE seL4_UserTop
|
| /seL4-master/libsel4/sel4_arch_include/aarch64/sel4/sel4_arch/ |
| A D | constants.h | 280 #define seL4_UserTop 0x00000fffffffffff macro
285 #define seL4_UserTop (0x000000ffffffffff - seL4_VSpaceReservedSlots * 0x40000000) macro
292 #define seL4_UserTop 0x00007fffffffffff macro
|
| /seL4-master/libsel4/sel4_plat_include/allwinnerA20/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xa0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/am335x/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/apq8064/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/exynos4/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/exynos5/sel4/plat/api/ |
| A D | constants.h | 20 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/imx6/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/imx7/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/tk1/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/omap3/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xf0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/zynq7000/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/bcm2711/sel4/plat/api/ |
| A D | constants.h | 22 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/bcm2837/sel4/plat/api/ |
| A D | constants.h | 22 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/hikey/sel4/plat/api/ |
| A D | constants.h | 22 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/imx8mm-evk/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/imx8mq-evk/sel4/plat/api/ |
| A D | constants.h | 21 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/libsel4/sel4_plat_include/qemu-arm-virt/sel4/plat/api/ |
| A D | constants.h | 24 #define seL4_UserTop CONFIG_USER_TOP macro
|
| /seL4-master/libsel4/sel4_plat_include/zynqmp/sel4/plat/api/ |
| A D | constants.h | 26 #define seL4_UserTop 0xe0000000 macro
|
| /seL4-master/include/arch/arm/arch/64/mode/ |
| A D | hardware.h | 167 #define USER_TOP seL4_UserTop
|
| /seL4-master/include/arch/riscv/arch/64/mode/ |
| A D | hardware.h | 78 #define USER_TOP seL4_UserTop
|
| /seL4-master/libsel4/sel4_arch_include/riscv32/sel4/sel4_arch/ |
| A D | constants.h | 124 #define seL4_UserTop 0x80000000lu macro
|
| /seL4-master/libsel4/sel4_arch_include/riscv64/sel4/sel4_arch/ |
| A D | constants.h | 129 #define seL4_UserTop 0x0000003ffffff000 macro
|
| /seL4-master/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/ |
| A D | constants.h | 147 #define seL4_UserTop 0xe0000000 macro
|