Searched refs:aligned_start (Results 1 - 4 of 4) sorted by relevance

/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h94 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
96 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
101 } else if (start != aligned_start) {
167 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
169 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
218 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
220 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
273 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
275 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
/seL4-refos-master/libs/libsel4utils/include/sel4utils/
H A Dvspace_internal.h94 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
96 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
101 } else if (start != aligned_start) {
167 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
169 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
218 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
220 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
273 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
275 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/vspace/
H A Dbootstrap.c168 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
170 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
175 } else if (start != aligned_start) {
/seL4-refos-master/libs/libsel4utils/src/vspace/
H A Dbootstrap.c168 uintptr_t aligned_start = start & ALIGN_FOR_LEVEL(level_num); local
170 uintptr_t next_start = aligned_start + BYTES_FOR_LEVEL(level_num);
175 } else if (start != aligned_start) {

Completed in 102 milliseconds