| name: devfreq_monitor |
| ID: 866 |
| 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:unsigned long freq; offset:8; size:8; signed:0; |
| field:unsigned long busy_time; offset:16; size:8; signed:0; |
| field:unsigned long total_time; offset:24; size:8; signed:0; |
| field:unsigned int polling_ms; offset:32; size:4; signed:0; |
| field:__data_loc char[] dev_name; offset:36; size:4; signed:0; |
| |
| print fmt: "dev_name=%s freq=%lu polling_ms=%u load=%lu", __get_str(dev_name), REC->freq, REC->polling_ms, REC->total_time == 0 ? 0 : (100 * REC->busy_time) / REC->total_time |