Lines Matching refs:hart
151 init_secondary(uint64_t hart) in init_secondary() argument
157 cpuid = hart; in init_secondary()
189 CPU_SET_ATOMIC(hart, &kernel_pmap->pm_active); in init_secondary()
331 uint64_t hart; in cpu_init_fdt() local
348 hart = reg[0]; in cpu_init_fdt()
350 hart <<= 32; in cpu_init_fdt()
351 hart |= reg[1]; in cpu_init_fdt()
354 KASSERT(hart < MAXCPU, ("Too many harts.")); in cpu_init_fdt()
357 if (hart == boot_hart) in cpu_init_fdt()
364 cpuid = hart; in cpu_init_fdt()
379 error = sbi_hsm_hart_start(hart, start_addr, 0); in cpu_init_fdt()
385 cpuid, hart, error); in cpu_init_fdt()
392 pcpup->pc_hart = hart; in cpu_init_fdt()
403 printf("Starting CPU %u (hart %lx)\n", cpuid, hart); in cpu_init_fdt()
404 atomic_store_32(&__riscv_boot_ap[hart], 1); in cpu_init_fdt()
411 CPU_SET(hart, &all_harts); in cpu_init_fdt()