#include <stdint.h> extern uintptr_t __stack_chk_guard; #define STACK_CHK_GUARD __stack_chk_guard #define POINTER_CHK_GUARD THREAD_GET_POINTER_GUARD()
