Home
last modified time | relevance | path

Searched refs:VLAPIC_CTR2 (Results 1 – 2 of 2) sorted by relevance

/f-stack/freebsd/amd64/vmm/io/
H A Dvlapic.c225 VLAPIC_CTR2(vlapic, "vlapic ccr_timer = %#x, icr_timer = %#x", in vlapic_get_ccr()
241 VLAPIC_CTR2(vlapic, "vlapic dcr_timer=%#x, divisor=%d", in vlapic_dcr_write_handler()
761 VLAPIC_CTR2(vlapic, "vlapic timer lagging by %lu " in vlapic_callout_handler()
982 VLAPIC_CTR2(vlapic, "icrlo 0x%016lx triggered ipi %d", icrval, vec); in vlapic_icrlo_write_handler()
1013 VLAPIC_CTR2(vlapic, "vlapic sending ipi %d " in vlapic_icrlo_write_handler()
1305 VLAPIC_CTR2(vlapic, "vlapic read offset %#x, data %#lx", offset, *data); in vlapic_read()
1320 VLAPIC_CTR2(vlapic, "vlapic write offset %#lx, data %#lx", in vlapic_write()
1328 VLAPIC_CTR2(vlapic, "MMIO write of %#lx to offset %#lx " in vlapic_write()
1337 VLAPIC_CTR2(vlapic, "x2APIC MSR write of %#lx to offset %#lx " in vlapic_write()
1491 VLAPIC_CTR2(vlapic, "Changing APIC_BASE MSR from %#lx to %#lx " in vlapic_set_apicbase()
H A Dvlapic_priv.h94 #define VLAPIC_CTR2(vlapic, format, p1, p2) \ macro