lguest_iret 992 arch/x86/lguest/boot.c pv_cpu_ops.iret = lguest_iret; lguest_iret 34 include/asm-x86/lguest.h extern void lguest_iret(void);