stp_queue_work     50 arch/s390/include/asm/stp.h void stp_queue_work(void);
stp_queue_work    175 arch/s390/kernel/nmi.c 		stp_queue_work();