Lines Matching refs:ghcb_gpa
1794 TP_PROTO(unsigned int vcpu_id, u64 ghcb_gpa),
1795 TP_ARGS(vcpu_id, ghcb_gpa),
1799 __field(u64, ghcb_gpa)
1804 __entry->ghcb_gpa = ghcb_gpa;
1807 TP_printk("vcpu %u, ghcb_gpa %016llx",
1808 __entry->vcpu_id, __entry->ghcb_gpa)
1815 TP_PROTO(unsigned int vcpu_id, u64 ghcb_gpa, int result),
1816 TP_ARGS(vcpu_id, ghcb_gpa, result),
1820 __field(u64, ghcb_gpa)
1826 __entry->ghcb_gpa = ghcb_gpa;
1830 TP_printk("vcpu %u, ghcb_gpa %016llx, result %d",
1831 __entry->vcpu_id, __entry->ghcb_gpa, __entry->result)