sys/amd64/vmm/io/vatpic.c

97

VM_CTR1((vatpic)->vm, fmt, a1)

sys/amd64/vmm/io/vatpit.c

156

VM_CTR1(vatpit->vm, "atpit t%d fired", arg->channel_num);

sys/amd64/vmm/io/vhpet.c

228

VM_CTR1(vhpet->vm, "hpet t%d intr is already asserted", n);

sys/amd64/vmm/io/vhpet.c

240

VM_CTR1(vhpet->vm, "hpet t%d intr is not routed to ioapic", n);

sys/amd64/vmm/io/vhpet.c

293

VM_CTR1(vhpet->vm, "hpet t%d fired", n);

sys/amd64/vmm/io/vhpet.c

320

VM_CTR1(vhpet->vm, "hpet t%d stopped", n);

sys/amd64/vmm/io/vhpet.c

331

VM_CTR1(vhpet->vm, "hpet t%d interrupt triggered after "

sys/amd64/vmm/io/vhpet.c

463

VM_CTR1(vhpet->vm, "hpet t%d isr cleared due to "

sys/amd64/vmm/io/vhpet.c

547

VM_CTR1(vhpet->vm, "hpet t%d isr cleared", i);

sys/amd64/vmm/io/vioapic.c

76

VM_CTR1((vioapic)->vm, fmt, a1)

sys/amd64/vmm/io/vlapic.c

115

VM_CTR1(vlapic->vm, "ignoring write to DFR in x2apic mode: %#x",

sys/amd64/vmm/io/vlapic.c

1690

VM_CTR1(vm, "vlapic intr invalid delmode %#x", delmode);

sys/amd64/vmm/io/vrtc.c

535

VM_CTR1(vrtc->vm, "RTC callout frequency %d hz", SBT_1S / freqsbt);

sys/amd64/vmm/io/vrtc.c

620

VM_CTR1(vrtc->vm, "RTC irq %d asserted", RTC_IRQ);

sys/amd64/vmm/io/vrtc.c

624

VM_CTR1(vrtc->vm, "RTC irq %d deasserted", RTC_IRQ);

sys/amd64/vmm/io/vrtc.c

765

VM_CTR1(vrtc->vm, "RTC time set to %#lx", secs);

sys/amd64/vmm/io/vrtc.c

799

VM_CTR1(vrtc->vm, "RTC nvram write to invalid offset %d",

sys/amd64/vmm/io/vrtc.c

920

VM_CTR1(vm, "RTC reg_a set to %#x", *val);

sys/amd64/vmm/io/vrtc.c

924

VM_CTR1(vm, "RTC reg_b set to %#x", *val);

sys/amd64/vmm/io/vrtc.c

928

VM_CTR1(vm, "RTC reg_c set to %#x (ignored)",

sys/amd64/vmm/io/vrtc.c

932

VM_CTR1(vm, "RTC reg_d set to %#x (ignored)",

sys/amd64/vmm/vmm_lapic.c

103

VM_CTR1(vm, "lapic MSI invalid addr %#lx", addr);