Searched refs:riscv_cpu_boot_flag (Results 1 – 2 of 2) sorted by relevance
22 volatile uintptr_t riscv_cpu_boot_flag; variable38 riscv_cpu_boot_flag = 0U; in arch_cpu_start()47 while (riscv_cpu_boot_flag == 0U) { in arch_cpu_start()
100 la t0, riscv_cpu_boot_flag112 la t0, riscv_cpu_boot_flag
