stf_barrier_type
void do_stf_barrier_fixups(enum stf_barrier_type types);
enum stf_barrier_type stf_barrier_type_get(void);
static inline enum stf_barrier_type stf_barrier_type_get(void) { return STF_BARRIER_NONE; }
static enum stf_barrier_type stf_enabled_flush_types;
enum stf_barrier_type stf_barrier_type_get(void)
enum stf_barrier_type type;
static void do_stf_entry_barrier_fixups(enum stf_barrier_type types)
static void do_stf_exit_barrier_fixups(enum stf_barrier_type types)
enum stf_barrier_type *types = data;
void do_stf_barrier_fixups(enum stf_barrier_type types)
enum stf_barrier_type stf_barrier = stf_barrier_type_get();