android-kvm / linux / 0dc491682f6e673a14c643d9a3e7305ce4616b96 / drivers / edac / mpc85xx_edac.h