arch/mips/alchemy/devboards/platform.h arch/powerpc/platforms/ps3/platform.h arch/xtensa/include/asm/platform.h drivers/infiniband/hw/hfi1/platform.h include/xen/interface/platform.h
