1 #include "include/int_types.h"
3 TRACEPOINT_EVENT(oprequest, set_rmw_flags,
14 ctf_integer(uint8_t, type, type)
15 ctf_integer(int64_t, num, num)
16 ctf_integer(uint64_t, tid, tid)
17 ctf_integer(int32_t, inc, inc)
18 ctf_integer_hex(int, flag, flag)
19 ctf_integer_hex(int, old_rmw_flags, old_rmw_flags)
20 ctf_integer_hex(int, new_rmw_flags, new_rmw_flags)
24 TRACEPOINT_EVENT(oprequest, mark_flag_point,
34 uint8_t, old_hit_flag_points,
35 uint8_t, new_hit_flag_points),
37 ctf_integer(uint8_t, type, type)
38 ctf_integer(int64_t, num, num)
39 ctf_integer(uint64_t, tid, tid)
40 ctf_integer(int32_t, inc, inc)
41 ctf_integer_hex(int, rmw_flags, rmw_flags)
42 ctf_integer_hex(uint8_t, flag, flag)
44 ctf_integer_hex(uint8_t, old_hit_flag_points, old_hit_flag_points)
45 ctf_integer_hex(uint8_t, new_hit_flag_points, new_hit_flag_points)