src/sys/arch/ofppc/include