Searched refs:USER_TOP (Results 1 – 17 of 17) sorted by relevance
| /seL4-master/include/arch/arm/arch/32/mode/ |
| A D | hardware.h | 53 #define USER_TOP seL4_UserTop macro
75 #define KERNEL_ELF_BASE (USER_TOP + (KERNEL_ELF_PADDR_BASE & MASK(22)))
87 compile_assert(USER_TOP_correctly_aligned, IS_ALIGNED(USER_TOP, 20));
|
| /seL4-master/include/plat/pc99/plat/64/plat_mode/machine/ |
| A D | hardware.h | 68 #define USER_TOP UL_CONST(0x7FFFFFFFFFFF) macro
116 compile_assert(user_top_tlbbitmap_no_overlap, GET_PML4_INDEX(USER_TOP) != GET_PML4_INDEX(TLBBITMAP_…
|
| /seL4-master/include/plat/pc99/plat/32/plat_mode/machine/ |
| A D | hardware.h | 44 #define USER_TOP (PPTR_BASE & UL_CONST(0xFFC00000)) macro
|
| /seL4-master/include/arch/arm/arch/64/mode/ |
| A D | hardware.h | 167 #define USER_TOP seL4_UserTop macro
|
| /seL4-master/include/arch/riscv/arch/64/mode/ |
| A D | hardware.h | 78 #define USER_TOP seL4_UserTop macro
|
| /seL4-master/include/arch/riscv/arch/32/mode/ |
| A D | hardware.h | 30 #define USER_TOP seL4_UserTop macro
|
| /seL4-master/src/arch/riscv/kernel/ |
| A D | boot.c | 265 if (it_v_reg.end >= USER_TOP) { in try_init_kernel()
272 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
|
| A D | vspace.c | 735 if (unlikely(vaddr >= USER_TOP)) { in decodeRISCVPageTableInvocation()
841 if (unlikely(vtop >= USER_TOP)) { in decodeRISCVFrameInvocation()
|
| /seL4-master/src/arch/arm/kernel/ |
| A D | boot.c | 401 if (it_v_reg.end >= USER_TOP) { in try_init_kernel()
408 it_v_reg.start, it_v_reg.end, (word_t)USER_TOP); in try_init_kernel()
|
| /seL4-master/src/plat/qemu-arm-virt/ |
| A D | config.cmake | 124 KernelUserTop USER_TOP "Set seL4_UserTop constant"
|
| /seL4-master/src/arch/arm/32/kernel/ |
| A D | vspace.c | 316 for (idx = 0; idx < (USER_TOP - 0xC0000000) >> (PT_INDEX_BITS + PAGE_BITS); idx++) { in map_kernel_window()
2029 if (start >= USER_TOP || end > USER_TOP) {
2168 if (unlikely(vaddr >= USER_TOP)) {
2170 USER_TOP);
2289 if (unlikely(vtop >= USER_TOP)) {
2290 …MPageMap: Cannot map frame over kernel window. vaddr: 0x%08lx, USER_TOP: 0x%08x", vaddr, USER_TOP);
|
| /seL4-master/src/arch/x86/32/kernel/ |
| A D | vspace_32paging.c | 268 if (vaddr > USER_TOP) { in decodeIA32PageDirectoryInvocation()
|
| /seL4-master/src/arch/arm/64/kernel/ |
| A D | vspace.c | 1728 if (end > USER_TOP) { in decodeARMVSpaceRootInvocation()
1841 if (unlikely(vaddr > USER_TOP)) { in decodeARMPageUpperDirectoryInvocation()
1928 if (unlikely(vaddr > USER_TOP)) { in decodeARMPageDirectoryInvocation()
2020 if (unlikely(vaddr > USER_TOP)) { in decodeARMPageTableInvocation()
2135 if (unlikely(vaddr + BIT(pageBitsForSize(frameSize)) - 1 > USER_TOP)) { in decodeARMFrameInvocation()
|
| /seL4-master/src/arch/x86/kernel/ |
| A D | vspace.c | 996 if (vaddr > USER_TOP || vtop > USER_TOP) { in decodeX86FrameInvocation()
1192 if (vaddr > USER_TOP) { in decodeX86PageTableInvocation()
|
| A D | boot_sys.c | 109 if (v_reg.end + 2 * BIT(PAGE_BITS) > USER_TOP) { in load_boot_module()
|
| /seL4-master/src/arch/x86/64/kernel/ |
| A D | vspace.c | 1196 if (vaddr > USER_TOP) { in decodeX64PageDirectoryInvocation()
1360 if (vaddr > USER_TOP) { in decodeX64PDPTInvocation()
|
| /seL4-master/src/object/ |
| A D | tcb.c | 586 if (vaddr >= (word_t)USER_TOP) { in decodeSetBreakpoint()
|
Completed in 34 milliseconds