xen_restore_fl     65 arch/x86/xen/irq.c PV_CALLEE_SAVE_REGS_THUNK(xen_restore_fl);
xen_restore_fl    121 arch/x86/xen/irq.c 	.restore_fl = PV_CALLEE_SAVE(xen_restore_fl),