platform → interrupt Relation

File in kernel/include/private/mos/platform	Includes file in kernel/include/private/mos/interrupt
platform.h	ipi.h