KVM_TRACE_MMIO_READ_UNSATISFIED
trace_kvm_mmio(KVM_TRACE_MMIO_READ_UNSATISFIED, len,
trace_kvm_mmio(KVM_TRACE_MMIO_READ_UNSATISFIED, size, gpa, NULL);
trace_kvm_mmio(KVM_TRACE_MMIO_READ_UNSATISFIED, bytes, gpa, NULL);
{ KVM_TRACE_MMIO_READ_UNSATISFIED, "unsatisfied-read" }, \