platform → x86 Relation

File in kernel/arch/x86_64/include/private/mos/platform	Includes file in kernel/arch/x86_64/include/private/mos/x86
platform_defs.h	cpu / cpuid.h