2015-10-07 11:31+0200, Paolo Bonzini: > What's the issue with > handle_irq? I get #PF instead of callback after redirecting to VCPU 1. No idea what causes it, yet -- seeing handle_irq's iplementation made me postpone debugging :) -- To unsubscribe from this list: send the line "unsubscribe stable" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html