58 #define apic_debug(fmt, arg...)  macro
626 		apic_debug("Can't read EOI MSR value: 0x%llx\n",  in pv_eoi_get_pending()
634 		apic_debug("Can't set EOI MSR value: 0x%llx\n",  in pv_eoi_set_pending()
644 		apic_debug("Can't clear EOI MSR value: 0x%llx\n",  in pv_eoi_clr_pending()
678 	apic_debug("vlapic %p, ppr 0x%x, isr 0x%x, isrv 0x%x",  in __apic_update_ppr()
757 		apic_debug("Bad DFR vcpu %d: %08x\n",  in kvm_apic_match_logical_addr()
797 	apic_debug("target %p, source %p, dest 0x%x, "  in kvm_apic_match_dest()
815 		apic_debug("kvm: apic: Bad dest shorthand value %x\n",  in kvm_apic_match_dest()
1091 			apic_debug("Ignoring de-assert INIT to vcpu %d\n",  in __apic_accept_irq()
1097 		apic_debug("SIPI to vcpu %d vector 0x%02x\n",  in __apic_accept_irq()
1216 	apic_debug("icr_high 0x%x, icr_low 0x%x, "  in apic_send_ipi()
1277 		apic_debug("Access APIC ARBPRI register which is for P6\n");  in __apic_read()
1315 		apic_debug("KVM_APIC_READ: alignment error %x %d\n",  in kvm_lapic_reg_read()
1321 		apic_debug("KVM_APIC_READ: read reserved register %x\n",  in kvm_lapic_reg_read()
1383 	apic_debug("timer divide count is 0x%x\n",  in update_divide_count()
1567 	apic_debug("%s: bus cycle is %" PRId64 "ns, now 0x%016"  in set_target_expiration()
1769 			apic_debug("Receive NMI setting on APIC_LVT0 "  in apic_manage_nmi_watchdog()
1884 			apic_debug("KVM_WRITE:TDCR %x\n", val);  in kvm_lapic_reg_write()
1897 			apic_debug("KVM_WRITE:ESR not zero %x\n", val);  in kvm_lapic_reg_write()
1913 		apic_debug("Local APIC Write to read-only register %x\n", reg);  in kvm_lapic_reg_write()
1943 		apic_debug("apic write: bad size=%d %lx\n", len, (long)address);  in apic_mmio_write()
1951 		apic_debug("%s: offset 0x%x with length 0x%x, and value is "  in apic_mmio_write()
2088 	apic_debug("apic base msr is 0x%016" PRIx64 ", and base address is "  in kvm_lapic_set_base()
2101 	apic_debug("%s\n", __func__);  in kvm_lapic_reset()
2156 	apic_debug("%s: vcpu=%p, id=0x%x, base_msr="  in kvm_lapic_reset()
2231 	apic_debug("apic_init %d\n", vcpu->vcpu_id);  in kvm_create_lapic()
2578 		apic_debug("KVM_APIC_READ: read x2apic reserved register %x\n",  in kvm_x2apic_msr_read()
2671 		apic_debug("vcpu %d received sipi with vector # %x\n",  in kvm_apic_accept_events()