Lines Matching refs:VLAPIC_CTR2
223 VLAPIC_CTR2(vlapic, "vlapic ccr_timer = %#x, icr_timer = %#x", in vlapic_get_ccr()
239 VLAPIC_CTR2(vlapic, "vlapic dcr_timer=%#x, divisor=%d", in vlapic_dcr_write_handler()
764 VLAPIC_CTR2(vlapic, "vlapic timer lagging by %lu " in vlapic_callout_handler()
913 VLAPIC_CTR2(vlapic, "vlapic TPR changed from %#x to %#x", in vlapic_set_tpr()
1056 VLAPIC_CTR2(vlapic, "icrlo 0x%016lx triggered ipi %d", icrval, vec); in vlapic_icrlo_write_handler()
1104 VLAPIC_CTR2(vlapic, in vlapic_icrlo_write_handler()
1450 VLAPIC_CTR2(vlapic, "vlapic read offset %#x, data %#lx", offset, *data); in vlapic_read()
1465 VLAPIC_CTR2(vlapic, "vlapic write offset %#lx, data %#lx", in vlapic_write()
1473 VLAPIC_CTR2(vlapic, "MMIO write of %#lx to offset %#lx " in vlapic_write()
1482 VLAPIC_CTR2(vlapic, "x2APIC MSR write of %#lx to offset %#lx " in vlapic_write()
1634 VLAPIC_CTR2(vlapic, "Changing APIC_BASE MSR from %#lx to %#lx " in vlapic_set_apicbase()