VM_CTR2
VM_CTR2((vatpic)->vm, fmt, a1, a2)
VM_CTR2(vhpet->vm, "hpet t%d cap_config set to 0x%016x", n, newval);
VM_CTR2(vhpet->vm, "hpet invalid mmio write: "
VM_CTR2(vhpet->vm, "hpet invalid mmio write: "
VM_CTR2(vhpet->vm, "hpet invalid mmio read: "
VM_CTR2(vhpet->vm, "hpet invalid mmio read: "
VM_CTR2((vioapic)->vm, fmt, a1, a2)
VM_CTR2(vm, "Invalid RTC sec %#x/%d", rtc->sec, ct.sec);
VM_CTR2(vm, "Invalid RTC min %#x/%d", rtc->min, ct.min);
VM_CTR2(vm, "Invalid RTC 12-hour format %#x/%d",
VM_CTR2(vm, "Invalid RTC hour %#x/%d", rtc->hour, ct.hour);
VM_CTR2(vm, "Invalid RTC mday %#x/%d", rtc->day_of_month,
VM_CTR2(vm, "Invalid RTC month %#x/%d", rtc->month, ct.mon);
VM_CTR2(vm, "Invalid RTC year %#x/%d", rtc->year, year);
VM_CTR2(vm, "Invalid RTC century %#x/%d", rtc->century,
VM_CTR2(vrtc->vm, "Updating RTC secs from %#lx to %#lx",
VM_CTR2(vrtc->vm, "Updating RTC base uptime from %#lx to %#lx",
VM_CTR2(vrtc->vm, "RTC reg_c changed from %#x to %#x",
VM_CTR2(vrtc->vm, "RTC reg_b changed from %#x to %#x",
VM_CTR2(vrtc->vm, "RTC divider held in reset at %#lx/%#lx",
VM_CTR2(vrtc->vm, "RTC divider out of reset at %#lx/%#lx",
VM_CTR2(vrtc->vm, "RTC reg_a changed from %#x to %#x",
VM_CTR2(vrtc->vm, "Error %d setting RTC time to %#lx", error,
VM_CTR2(vrtc->vm, "RTC nvram write %#x to offset %#x", value, offset);
VM_CTR2(vm, "Read value %#x from RTC offset %#x",
VM_CTR2(vm, "RTC offset %#x set to %#x",
VM_CTR2(vm, "lapic MSI addr: %#lx msg: %#lx", addr, msg);