),
TP_FIELDS(
ctf_integer_hex(void *, baddr, baddr)
ctf_integer(uint64_t, memsz, memsz)
ctf_string(path, path)
ctf_integer(uint8_t, is_pic, is_pic)
),
TP_FIELDS(
ctf_integer_hex(void *, baddr, baddr)
ctf_integer(uint64_t, memsz, memsz)
ctf_string(path, path)
ctf_integer(uint8_t, is_pic, is_pic)