Lines Matching refs:icrh
1424 TP_PROTO(u32 vcpu, u32 icrh, u32 icrl, u32 id, u32 index),
1425 TP_ARGS(vcpu, icrh, icrl, id, index),
1429 __field(u32, icrh)
1437 __entry->icrh = icrh;
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),
1500 __field(u32, icrh)
1506 __entry->icrh = icrh;
1511 TP_printk("icrh:icrl=%#08x:%08x, index=%u",
1512 __entry->icrh, __entry->icrl, __entry->index)