Symbol: cpu_set_hatched
sys/arch/aarch64/aarch64/cpu.c
766
cpu_set_hatched(cpuindex);
sys/arch/arm/arm32/arm32_machdep.c
837
cpu_set_hatched(cpuindex);
sys/arch/arm/include/cpu.h
66
void cpu_set_hatched(int);
sys/arch/riscv/include/cpu.h
135
void cpu_set_hatched(u_int);
sys/arch/riscv/riscv/cpu.c
258
cpu_set_hatched(cpuindex);