Lines Matching refs:icrl
1424 TP_PROTO(u32 vcpu, u32 icrh, u32 icrl, u32 id, u32 index),
1425 TP_ARGS(vcpu, icrh, icrl, id, index),
1430 __field(u32, icrl)
1438 __entry->icrl = icrl;
1443 TP_printk("vcpu=%u, icrh:icrl=%#010x:%08x, id=%u, index=%u",
1444 __entry->vcpu, __entry->icrh, __entry->icrl,
1496 TP_PROTO(u32 icrh, u32 icrl, u32 index),
1497 TP_ARGS(icrh, icrl, index),
1501 __field(u32, icrl)
1507 __entry->icrl = icrl;
1511 TP_printk("icrh:icrl=%#08x:%08x, index=%u",
1512 __entry->icrh, __entry->icrl, __entry->index)