apic_debug        227 arch/x86/kvm/lapic.c 	apic_debug("vlapic %p, ppr 0x%x, isr 0x%x, isrv 0x%x",
apic_debug        276 arch/x86/kvm/lapic.c 	apic_debug("target %p, source %p, dest 0x%x, "
apic_debug        330 arch/x86/kvm/lapic.c 			apic_debug("level trig mode repeatedly for vector %d",
apic_debug        336 arch/x86/kvm/lapic.c 			apic_debug("level trig mode for vector %d", vector);
apic_debug        474 arch/x86/kvm/lapic.c 	apic_debug("icr_high 0x%x, icr_low 0x%x, "
apic_debug        526 arch/x86/kvm/lapic.c 		apic_debug("time elapsed\n");
apic_debug        640 arch/x86/kvm/lapic.c 	apic_debug("timer divide count is 0x%x\n",
apic_debug        661 arch/x86/kvm/lapic.c 	apic_debug("%s: bus cycle is %" PRId64 "ns, now 0x%016"
apic_debug        696 arch/x86/kvm/lapic.c 		apic_debug("%s: offset 0x%x with length 0x%x, and value is "
apic_debug        781 arch/x86/kvm/lapic.c 		apic_debug("Local APIC Write to read-only register %x\n",
apic_debug        863 arch/x86/kvm/lapic.c 	apic_debug("apic base msr is 0x%016" PRIx64 ", and base address is "
apic_debug        879 arch/x86/kvm/lapic.c 	apic_debug("%s\n", __func__);
apic_debug        916 arch/x86/kvm/lapic.c 	apic_debug(KERN_INFO "%s: vcpu=%p, id=%d, base_msr="
apic_debug       1001 arch/x86/kvm/lapic.c 	apic_debug("apic_init %d\n", vcpu->vcpu_id);