| 494 | void set_type(int t) { header.type = t; } |
| 495 | |
| 496 | uint64_t get_tid() const { return header.tid; } |
| 497 | void set_tid(uint64_t t) { header.tid = t; } |
| 498 | |
| 499 | uint64_t get_seq() const { return header.seq; } |
no outgoing calls
no test coverage detected