The following is an alphabetic listing of the virtual programmable interrupt controller callback procedures.