Timer services are provided to support the virtual programmable interrupt controller in the event of a time out occurring in an interrupt handler. Priority services are also used by VPIC to handle VDM scheduling priority.