| name: push_to_pool |
| ID: 458 |
| format: |
| field:unsigned short common_type; offset:0; size:2; signed:0; |
| field:unsigned char common_flags; offset:2; size:1; signed:0; |
| field:unsigned char common_preempt_count; offset:3; size:1; signed:0; |
| field:int common_pid; offset:4; size:4; signed:1; |
| |
| field:const char * pool_name; offset:8; size:8; signed:0; |
| field:int pool_bits; offset:16; size:4; signed:1; |
| field:int input_bits; offset:20; size:4; signed:1; |
| |
| print fmt: "%s: pool_bits %d input_pool_bits %d", REC->pool_name, REC->pool_bits, REC->input_bits |
