Searched refs:machine_platform (Results 1 - 4 of 4) sorted by path

/haiku/headers/private/kernel/arch/riscv64/
H A Darch_kernel_args.h39 uint32 machine_platform; member in struct:__anon3
/haiku/src/system/boot/platform/efi/arch/riscv64/
H A Darch_start.cpp59 gKernelArgs.arch_args.machine_platform = kPlatformSbi;
/haiku/src/system/boot/platform/riscv/
H A Dstart.cpp169 gKernelArgs.arch_args.machine_platform = kPlatformMNative;
/haiku/src/system/kernel/arch/riscv64/
H A Darch_platform.cpp28 gPlatform = args->arch_args.machine_platform;
30 debug_early_boot_message("machine_platform: ");

Completed in 68 milliseconds