Symbol: RTC_IRQ
usr/src/uts/intel/io/vmm/io/vrtc.c
856
(void) vatpic_pulse_irq(vrtc->vm, RTC_IRQ);
usr/src/uts/intel/io/vmm/io/vrtc.c
857
(void) vioapic_pulse_irq(vrtc->vm, RTC_IRQ);