@ -44,7 +44,7 @@ ck_pr_barrier(void)
#ifndef CK_F_PR
#define CK_F_PR
#include <stdbool.h>
#include <ck_stdbool.h>
#include <ck_stdint.h>
/*
@ -50,7 +50,7 @@
#define CK_F_PR_RTM
#include <ck_cc.h>
#define CK_PR_RTM_STARTED (~0U)
#define CK_PR_RTM_EXPLICIT (1 << 0)