VLAPIC_CTR1
VLAPIC_CTR1(vlapic, msg " pir0 0x%016lx", pir_desc->pir[0]); \
VLAPIC_CTR1(vlapic, msg " pir1 0x%016lx", pir_desc->pir[1]); \
VLAPIC_CTR1(vlapic, msg " pir2 0x%016lx", pir_desc->pir[2]); \
VLAPIC_CTR1(vlapic, msg " pir3 0x%016lx", pir_desc->pir[3]); \
VLAPIC_CTR1(vlapic, msg " notify: %s", notify ? "yes" : "no"); \
VLAPIC_CTR1(vlapic, "HLT with non-zero PPR %d", lapic->ppr);
VLAPIC_CTR1(vlapic, "Ignoring invalid ICR %016lx", icrval);
VLAPIC_CTR1(vlapic, "Ignoring invalid IPI %d", vec);
VLAPIC_CTR1(vlapic,
VLAPIC_CTR1(vlapic, "vlapic self-ipi %d", vec);
VLAPIC_CTR1(vlapic, "pending intr %d", vector);
VLAPIC_CTR1(vlapic, "DFR in Unknown Model %#x", lapic->dfr);
VLAPIC_CTR1(vlapic, "MMIO read from offset %#lx in x2APIC mode",
VLAPIC_CTR1(vlapic, "x2APIC MSR read from offset %#lx in "
VLAPIC_CTR1(vlapic, "ignoring write to LDR in x2apic mode: %#x",
VLAPIC_CTR1(vlapic, "vlapic LDR set to %#x", lapic->ldr);
VLAPIC_CTR1(vlapic, "Ignoring level trigger-mode for "
VLAPIC_CTR1(vlapic, "vector %d set to level-triggered", vector);
VLAPIC_CTR1(vlapic, "vlapic is software disabled, ignoring "
VLAPIC_CTR1(vlapic, "vlapic ignoring interrupt to vector %d",
VLAPIC_CTR1(vlapic, "vlapic_update_ppr 0x%02x", ppr);
VLAPIC_CTR1(vlapic, "EOI vector %d", vector);
VLAPIC_CTR1(vlapic, "vlapic has bad logical "
VLAPIC_CTR1((vlapic), msg " irr0 0x%08x", irrptr[0 << 2]); \
VLAPIC_CTR1((vlapic), msg " irr1 0x%08x", irrptr[1 << 2]); \
VLAPIC_CTR1((vlapic), msg " irr2 0x%08x", irrptr[2 << 2]); \
VLAPIC_CTR1((vlapic), msg " irr3 0x%08x", irrptr[3 << 2]); \
VLAPIC_CTR1((vlapic), msg " irr4 0x%08x", irrptr[4 << 2]); \
VLAPIC_CTR1((vlapic), msg " irr5 0x%08x", irrptr[5 << 2]); \
VLAPIC_CTR1((vlapic), msg " irr6 0x%08x", irrptr[6 << 2]); \
VLAPIC_CTR1((vlapic), msg " irr7 0x%08x", irrptr[7 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr0 0x%08x", isrptr[0 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr1 0x%08x", isrptr[1 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr2 0x%08x", isrptr[2 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr3 0x%08x", isrptr[3 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr4 0x%08x", isrptr[4 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr5 0x%08x", isrptr[5 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr6 0x%08x", isrptr[6 << 2]); \
VLAPIC_CTR1((vlapic), msg " isr7 0x%08x", isrptr[7 << 2]); \