device → platform Relation

File in kernel/include/private/mos/device	Includes file in kernel/include/private/mos/platform
timer.h	platform.h