Symbol: ppc_platform_type
headers/private/kernel/arch/ppc/arch_platform.h
21
PPCPlatform(ppc_platform_type platformType);
headers/private/kernel/arch/ppc/arch_platform.h
26
inline ppc_platform_type PlatformType() const { return fPlatformType; }
headers/private/kernel/arch/ppc/arch_platform.h
43
ppc_platform_type fPlatformType;
src/system/kernel/arch/ppc/arch_platform.cpp
23
PPCPlatform::PPCPlatform(ppc_platform_type platformType)