Searched refs:stack_fill_pattern (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/projects/picotcp/include/arch/
H A Dpico_mbed.h45 void stack_fill_pattern(void *ptr);
49 #define stack_fill_pattern(...) do {} while(0) macro
H A Dpico_posix.h21 #define stack_fill_pattern(...) do {} while(0) macro
/seL4-camkes-master/projects/picotcp/test/
H A Dpico_faulty.h40 #define stack_fill_pattern(...) do {} while(0) macro

Completed in 31 milliseconds