| name: ca_scheduler_set_region_parameters |
| ID: 1125 |
| 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:int hw_idx; offset:8; size:4; signed:1; |
| field:__data_loc char[] scheduler_name; offset:12; size:4; signed:0; |
| field:u32 region_id; offset:16; size:4; signed:0; |
| field:__data_loc char[] region_name; offset:20; size:4; signed:0; |
| |
| print fmt: "hw%d scheduler=%s region_id=%u region_name=%s", REC->hw_idx, __get_str(scheduler_name), REC->region_id, __get_str(region_name) |
