Searched refs:ALIGN_DOWN (Results 1 - 8 of 8) sorted by relevance
/seL4-refos-master/projects/seL4_libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 44 #define KERNEL_RESERVED_START (ALIGN_DOWN(seL4_UserTop, PAGE_SIZE_4K))
|
/seL4-refos-master/libs/libsel4utils/include/sel4utils/ |
H A D | vspace.h | 44 #define KERNEL_RESERVED_START (ALIGN_DOWN(seL4_UserTop, PAGE_SIZE_4K))
|
/seL4-refos-master/projects/util_libs/libutils/include/utils/ |
H A D | arith.h | 67 #define ALIGN_DOWN(x, n) ((x) & ~((n) - 1)) macro
|
/seL4-refos-master/libs/libutils/include/utils/ |
H A D | arith.h | 67 #define ALIGN_DOWN(x, n) ((x) & ~((n) - 1)) macro
|
/seL4-refos-master/libs/libsel4utils/src/ |
H A D | thread.c | 180 uintptr_t aligned_stack_pointer = ALIGN_DOWN(tls_base, STACK_CALL_ALIGNMENT);
|
H A D | process.c | 254 initial_stack_pointer = ALIGN_DOWN(initial_stack_pointer - sizeof(seL4_Word), STACK_CALL_ALIGNMENT); 338 uintptr_t rounded_stack_pointer = ALIGN_DOWN(hypothetical_stack_pointer, STACK_CALL_ALIGNMENT);
|
/seL4-refos-master/projects/seL4_libs/libsel4utils/src/ |
H A D | thread.c | 180 uintptr_t aligned_stack_pointer = ALIGN_DOWN(tls_base, STACK_CALL_ALIGNMENT);
|
H A D | process.c | 254 initial_stack_pointer = ALIGN_DOWN(initial_stack_pointer - sizeof(seL4_Word), STACK_CALL_ALIGNMENT); 338 uintptr_t rounded_stack_pointer = ALIGN_DOWN(hypothetical_stack_pointer, STACK_CALL_ALIGNMENT);
|
Completed in 38 milliseconds