secnr             814 arch/powerpc/sysdev/ipic.c 	u32 secnr;
secnr             832 arch/powerpc/sysdev/ipic.c 	ipic_saved_state.secnr = ipic_read(ipic->regs, IPIC_SECNR);
secnr             863 arch/powerpc/sysdev/ipic.c 	ipic_write(ipic->regs, IPIC_SECNR, ipic_saved_state.secnr);