kcsan_cpu_init
kcsan_cpu_init(0);
kcsan_cpu_init(cpu);
void kcsan_cpu_init(u_int);
kcsan_cpu_init(cpuid);