name: devfreq_frequency
ID: 898
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:__data_loc char[] dev_name;       offset:8;       size:4; signed:0;
        field:unsigned long freq;       offset:16;      size:8; signed:0;
        field:unsigned long prev_freq;  offset:24;      size:8; signed:0;
        field:unsigned long busy_time;  offset:32;      size:8; signed:0;
        field:unsigned long total_time; offset:40;      size:8; signed:0;

print fmt: "dev_name=%-30s freq=%-12lu prev_freq=%-12lu load=%-2lu", __get_str(dev_name), REC->freq, REC->prev_freq, REC->total_time == 0 ? 0 : (100 * REC->busy_time) / REC->total_time
