#include "include/int_types.h"

TRACEPOINT_EVENT(pg, queue_op,
    TP_ARGS(
        // osd_reqid_t
        uint8_t,  type,
        int64_t,  num,
        uint64_t, tid,
        int32_t,  inc,
        int,      rmw_flags),
    TP_FIELDS(
        ctf_integer(uint8_t, type, type)
        ctf_integer(int64_t, num, num)
        ctf_integer(uint64_t, tid, tid)
        ctf_integer(int32_t, inc, inc)
        ctf_integer(int, rmw_flags, rmw_flags)
    )
)