src/system/boot/platform/efi/arch/riscv64/arch_start.cpp

59

gKernelArgs.arch_args.machine_platform = kPlatformSbi;

src/system/kernel/arch/riscv64/RISCV64VMTranslationMap.cpp

666

case kPlatformSbi: {

src/system/kernel/arch/riscv64/arch_cpu.cpp

161

if (gPlatform == kPlatformSbi) {

src/system/kernel/arch/riscv64/arch_platform.cpp

35

case kPlatformSbi:

src/system/kernel/arch/riscv64/arch_platform.cpp

56

if (gPlatform == kPlatformSbi) {

src/system/kernel/arch/riscv64/arch_smp.cpp

46

case kPlatformSbi: {

src/system/kernel/arch/riscv64/arch_smp.cpp

72

case kPlatformSbi:

src/system/kernel/arch/riscv64/arch_smp.cpp

87

case kPlatformSbi:

src/system/kernel/arch/riscv64/arch_timer.cpp

43

case kPlatformSbi: {

src/system/kernel/arch/riscv64/arch_timer.cpp

62

case kPlatformSbi: {