| /seL4-camkes-master/projects/musllibc/src/legacy/ |
| H A D | getpagesize.c | 7 return PAGE_SIZE;
|
| H A D | valloc.c | 7 return memalign(PAGE_SIZE, size);
|
| /seL4-camkes-master/projects/musllibc/src/thread/ |
| H A D | pthread_getattr_np.c | 15 size_t l = PAGE_SIZE;
16 p += -(uintptr_t)p & PAGE_SIZE-1;
18 while (mremap(p-l-PAGE_SIZE, PAGE_SIZE, 2*PAGE_SIZE, 0)==MAP_FAILED && errno==ENOMEM)
19 l += PAGE_SIZE;
|
| /seL4-camkes-master/projects/musllibc/src/mman/ |
| H A D | mprotect.c | 8 start = (size_t)addr & -PAGE_SIZE;
9 end = (size_t)((char *)addr + len + PAGE_SIZE-1) & -PAGE_SIZE;
|
| /seL4-camkes-master/projects/musllibc/arch/aarch64/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/aarch64_sel4/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/arm/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/arm_sel4/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/i386/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/i386_sel4/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/or1k/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 8192 macro
|
| /seL4-camkes-master/projects/musllibc/arch/s390x/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| H A D | user.h | 57 #define PAGE_MASK (~(PAGE_SIZE-1))
58 #define NBPG PAGE_SIZE
|
| /seL4-camkes-master/projects/musllibc/arch/sh/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/x32/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/x86_64/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/x86_64_sel4/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/riscv/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/musllibc/arch/riscv_sel4/bits/ |
| H A D | limits.h | 3 #define PAGE_SIZE 4096 macro
|
| /seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/tk1/devices/ |
| H A D | vclock.c | 14 .size = PAGE_SIZE,
|
| H A D | vuart.c | 15 .size = PAGE_SIZE,
|
| /seL4-camkes-master/projects/musllibc/src/malloc/ |
| H A D | expand_heap.c | 46 if (n > SIZE_MAX/2 - PAGE_SIZE) {
50 n += -n & PAGE_SIZE-1;
54 brk += -brk & PAGE_SIZE-1;
64 size_t min = (size_t)PAGE_SIZE << mmap_step/2;
|
| /seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/ |
| H A D | ioremap.c | 41 num_pages = (offset + size + PAGE_SIZE - 1) / PAGE_SIZE;
80 num_pages = ((va & ~PAGE_MASK) + size + PAGE_SIZE - 1) / PAGE_SIZE;
|
| /seL4-camkes-master/tools/rumprun/platform/hw/include/arch/arm/ |
| H A D | md.h | 10 #define BMK_THREAD_STACKSIZE ((1<<BMK_THREAD_STACK_PAGE_ORDER) * PAGE_SIZE)
|
| /seL4-camkes-master/tools/rumprun/lib/librumpkern_mman/ |
| H A D | sys_mman.c | 75 v = rump_hypermalloc(roundedlen, PAGE_SIZE, true, "mmapmem");
79 mc->mm_pgsleft = roundedlen / PAGE_SIZE;
102 npgs = roundedlen / PAGE_SIZE;
144 if ((pos & (PAGE_SIZE-1)) != 0) {
149 roundedlen = roundup2(len, PAGE_SIZE);
206 if (((uintptr_t)addr & (PAGE_SIZE-1)) != 0)
225 if (((uintptr_t)addr & (PAGE_SIZE-1)) != 0) {
230 rv = mmapmem_free(addr, roundup2(len, PAGE_SIZE));
249 memset(vec, 0x01, (len + PAGE_SIZE - 1) / PAGE_SIZE);
[all...] |