US8180944B2 - Guest Interrupt Manager That Records Interrupts for Guests and Delivers Interrupts to Executing Guests