Lines Matching refs:TP_printk
26 TP_printk("PC: 0x%016lx", __entry->vcpu_pc)
45 TP_printk("%s: HSR_EC: 0x%04x (%s), PC: 0x%016lx",
72 TP_printk("ipa %#llx, hsr %#08lx, hxfar %#08lx, pc %#016lx",
89 TP_printk("IPA: %lx", __entry->ipa)
110 TP_printk("Inject %s interrupt (%d), vcpu->idx: %d, num: %d, level: %d",
134 TP_printk("Emulate MMIO at: 0x%016lx (instr: %08lx, cpsr: %08lx)",
152 TP_printk("S/W flush at 0x%016lx (cache %s)",
172 TP_printk("VM op at 0x%016lx (cache was %s, now %s)",
196 TP_printk("VCPU: %ld, IRQ %d, level %d",
220 TP_printk("VCPU: %ld, dv: %d, dp: %d, ep: %d",
243 TP_printk(" CTL: %#08lx CVAL: %#16llx arch_timer_ctx_index: %d",
265 TP_printk("CTL: %#08lx CVAL: %#16llx arch_timer_ctx_index: %d",
283 TP_printk("arch_timer_ctx_index: %d", __entry->timer_idx)
300 TP_printk("arch_timer_ctx_index: %d (should_fire: %d)",