enable_lguest_irq  571 arch/x86/lguest/boot.c 	.unmask		= enable_lguest_irq,
enable_lguest_irq  736 arch/x86/lguest/boot.c 	enable_lguest_irq(0);