linux/kernel/include/asm-ppc64/iSeries
