sys/amd64/vmm/intel/vmx.c

4015

VLAPIC_CTR0(vlapic, "vmx_inject_pir: "

sys/amd64/vmm/io/vlapic.c

125

VLAPIC_CTR0(vlapic, "vlapic DFR in Flat Model");

sys/amd64/vmm/io/vlapic.c

127

VLAPIC_CTR0(vlapic, "vlapic DFR in Cluster Model");

sys/amd64/vmm/io/vlapic.c

1317

VLAPIC_CTR0(vlapic, "vlapic is software-disabled");

sys/amd64/vmm/io/vlapic.c

1327

VLAPIC_CTR0(vlapic, "vlapic is software-enabled");

sys/amd64/vmm/io/vlapic.c

1767

VLAPIC_CTR0(vlapic, "vlapic resetting all vectors to edge-triggered");

sys/amd64/vmm/io/vlapic.c

598

VLAPIC_CTR0(vlapic, "Gratuitous EOI");

sys/amd64/vmm/io/vlapic.c

648

VLAPIC_CTR0(vlapic, "vlapic timer fired");