Searched refs:rounded_future_stack_top (Results 1 - 2 of 2) sorted by relevance

/seL4-refos-master/projects/refos/impl/apps/selfloader/src/
H A Dselfloader.c396 uintptr_t rounded_future_stack_top = ROUND_DOWN(future_stack_top, sizeof(seL4_Word) * 2); local
397 ptrdiff_t stack_rounding = future_stack_top - rounded_future_stack_top;
/seL4-refos-master/apps/selfloader/src/
H A Dselfloader.c396 uintptr_t rounded_future_stack_top = ROUND_DOWN(future_stack_top, sizeof(seL4_Word) * 2); local
397 ptrdiff_t stack_rounding = future_stack_top - rounded_future_stack_top;

Completed in 86 milliseconds