1 #include <stdint.h>
2 
3 extern uintptr_t __stack_chk_guard;
4 #define STACK_CHK_GUARD __stack_chk_guard
5 
6 #define POINTER_CHK_GUARD THREAD_GET_POINTER_GUARD()
7