#include <stdint.h>

extern uintptr_t __stack_chk_guard;
#define STACK_CHK_GUARD __stack_chk_guard

#define POINTER_CHK_GUARD THREAD_GET_POINTER_GUARD()