diff --git a/scheds/rust/scx_lavd/src/bpf/main.bpf.c b/scheds/rust/scx_lavd/src/bpf/main.bpf.c
index 70b4b5b..5f0c087 100644
--- a/scheds/rust/scx_lavd/src/bpf/main.bpf.c
+++ b/scheds/rust/scx_lavd/src/bpf/main.bpf.c
@@ -3239,8 +3239,10 @@ static s32 init_per_cpu_ctx(u64 now)
 		}
 
 		cpuc->turbo_core = cpuc->capacity == turbo_cap;
-		if (cpuc->turbo_core)
+		if (cpuc->turbo_core) {
 			bpf_cpumask_set_cpu(cpu, turbo);
+			debugln("CPU %d is a turbo core.", cpu);
+		}
 	}
 
 	/*