Symbol: PPCPlatform
headers/private/kernel/arch/ppc/arch_platform.h
19
class PPCPlatform {
headers/private/kernel/arch/ppc/arch_platform.h
21
PPCPlatform(ppc_platform_type platformType);
headers/private/kernel/arch/ppc/arch_platform.h
22
virtual ~PPCPlatform();
headers/private/kernel/arch/ppc/arch_platform.h
24
static PPCPlatform *Default();
headers/private/kernel/arch/ppc/arch_platform.h
48
using BPrivate::PPCPlatform;
src/system/kernel/arch/ppc/arch_cpu.cpp
268
PPCPlatform::Default()->ShutDown(reboot);
src/system/kernel/arch/ppc/arch_debug_console.cpp
57
return PPCPlatform::Default()->SerialDebugGetChar();
src/system/kernel/arch/ppc/arch_debug_console.cpp
64
return PPCPlatform::Default()->SerialDebugPutChar(c);
src/system/kernel/arch/ppc/arch_debug_console.cpp
88
return PPCPlatform::Default()->InitSerialDebug(args);
src/system/kernel/arch/ppc/arch_platform.cpp
20
static PPCPlatform *sPPCPlatform;
src/system/kernel/arch/ppc/arch_platform.cpp
23
PPCPlatform::PPCPlatform(ppc_platform_type platformType)
src/system/kernel/arch/ppc/arch_platform.cpp
235
class PPCUBoot : public PPCPlatform {
src/system/kernel/arch/ppc/arch_platform.cpp
267
: PPCPlatform(PPC_PLATFORM_U_BOOT),
src/system/kernel/arch/ppc/arch_platform.cpp
29
PPCPlatform::~PPCPlatform()
src/system/kernel/arch/ppc/arch_platform.cpp
34
PPCPlatform *
src/system/kernel/arch/ppc/arch_platform.cpp
35
PPCPlatform::Default()
src/system/kernel/arch/ppc/arch_platform.cpp
46
class PPCOpenFirmware : public PPCPlatform {
src/system/kernel/arch/ppc/arch_platform.cpp
98
: PPCPlatform(PPC_PLATFORM_OPEN_FIRMWARE),
src/system/kernel/arch/ppc/arch_real_time_clock.cpp
20
status_t error = PPCPlatform::Default()->InitRTC(args, data);
src/system/kernel/arch/ppc/arch_real_time_clock.cpp
47
return PPCPlatform::Default()->GetHardwareRTC();
src/system/kernel/arch/ppc/arch_real_time_clock.cpp
54
PPCPlatform::Default()->SetHardwareRTC(seconds);