59 #define apic_debug(fmt, arg...)  macro
522 		apic_debug("Can't read EOI MSR value: 0x%llx\n",  in pv_eoi_get_pending()
530 		apic_debug("Can't set EOI MSR value: 0x%llx\n",  in pv_eoi_set_pending()
540 		apic_debug("Can't clear EOI MSR value: 0x%llx\n",  in pv_eoi_clr_pending()
571 	apic_debug("vlapic %p, ppr 0x%x, isr 0x%x, isrv 0x%x",  in apic_update_ppr()
629 		apic_debug("Bad DFR vcpu %d: %08x\n",  in kvm_apic_match_logical_addr()
657 	apic_debug("target %p, source %p, dest 0x%x, "  in kvm_apic_match_dest()
675 		apic_debug("kvm: apic: Bad dest shorthand value %x\n",  in kvm_apic_match_dest()
804 		apic_debug("Ignoring guest SMI\n");  in __apic_accept_irq()
824 			apic_debug("Ignoring de-assert INIT to vcpu %d\n",  in __apic_accept_irq()
830 		apic_debug("SIPI to vcpu %d vector 0x%02x\n",  in __apic_accept_irq()
929 	apic_debug("icr_high 0x%x, icr_low 0x%x, "  in apic_send_ipi()
994 		apic_debug("Access APIC ARBPRI register which is for P6\n");  in __apic_read()
1032 		apic_debug("KVM_APIC_READ: alignment error %x %d\n",  in apic_reg_read()
1038 		apic_debug("KVM_APIC_READ: read reserved register %x\n",  in apic_reg_read()
1091 	apic_debug("timer divide count is 0x%x\n",  in update_divide_count()
1208 		apic_debug("%s: bus cycle is %" PRId64 "ns, now 0x%016"  in start_apic_timer()
1253 			apic_debug("Receive NMI setting on APIC_LVT0 "  in apic_manage_nmi_watchdog()
1366 			apic_debug("KVM_WRITE:TDCR %x\n", val);  in apic_reg_write()
1373 			apic_debug("KVM_WRITE:ESR not zero %x\n", val);  in apic_reg_write()
1389 		apic_debug("Local APIC Write to read-only register %x\n", reg);  in apic_reg_write()
1410 		apic_debug("apic write: bad size=%d %lx\n", len, (long)address);  in apic_mmio_write()
1418 		apic_debug("%s: offset 0x%x with length 0x%x, and value is "  in apic_mmio_write()
1562 	apic_debug("apic base msr is 0x%016" PRIx64 ", and base address is "  in kvm_lapic_set_base()
1572 	apic_debug("%s\n", __func__);  in kvm_lapic_reset()
1618 	apic_debug("%s: vcpu=%p, id=%d, base_msr="  in kvm_lapic_reset()
1693 	apic_debug("apic_init %d\n", vcpu->vcpu_id);  in kvm_create_lapic()
1987 		apic_debug("KVM_APIC_READ: read x2apic reserved register %x\n",  in kvm_x2apic_msr_read()
2070 		apic_debug("vcpu %d received sipi with vector # %x\n",  in kvm_apic_accept_events()