original_kernel/arch/ppc/syslib/cpm2_pic.h