sys/amd64/vmm/io/vatpic.c

94

VM_CTR0((vatpic)->vm, fmt)

sys/amd64/vmm/io/vatpit.c

354

VM_CTR0(vatpit->vm, "vatpit attempt to read mode");

sys/amd64/vmm/io/vhpet.c

534

VM_CTR0(vhpet->vm, "hpet enabled");

sys/amd64/vmm/io/vhpet.c

537

VM_CTR0(vhpet->vm, "hpet disabled");

sys/amd64/vmm/io/vrtc.c

396

VM_CTR0(vrtc->vm, "Invalid RTC date/time programming detected");

sys/amd64/vmm/io/vrtc.c

439

VM_CTR0(vrtc->vm, "RTC update halted by guest");

sys/amd64/vmm/io/vrtc.c

530

VM_CTR0(vrtc->vm, "RTC callout stopped");

sys/amd64/vmm/io/vrtc.c

548

VM_CTR0(vrtc->vm, "vrtc callout fired");