VM_CTR0
VM_CTR0((vatpic)->vm, fmt)
VM_CTR0(vatpit->vm, "vatpit attempt to read mode");
VM_CTR0(vhpet->vm, "hpet enabled");
VM_CTR0(vhpet->vm, "hpet disabled");
VM_CTR0(vrtc->vm, "Invalid RTC date/time programming detected");
VM_CTR0(vrtc->vm, "RTC update halted by guest");
VM_CTR0(vrtc->vm, "RTC callout stopped");
VM_CTR0(vrtc->vm, "vrtc callout fired");