############################################################################
# DF-4779 run.log — verbatim captured outputs (two independent runs)
############################################################################

######################## RUN 1 (earlier boot, same snapshot) ################
# command: sysctl hw.sensors.dev_idmax; kldload /tmp/ccs/corecstat.ko && echo KLDLOAD_RC=0; dmesg | tail -40; sysctl hw.sensors.dev_idmax; kldunload corecstat && echo KLDUNLOAD_RC=0
############################################################################
=== before: hw.sensors.dev_idmax ===
hw.sensors.dev_idmax: 6
=== kldload corecstat ===
KLDLOAD_RC=0
=== dmesg tail ===
corecstat0: <CPU Package C-State residency counters> on cpu0
msr node0 core0 C3 res. (0x000003fc) not available
msr node0 core0 C6 res. (0x000003fd) not available
corecstat1: <CPU Package C-State residency counters> on cpu1
msr node0 core1 C3 res. (0x000003fc) not available
msr node0 core1 C6 res. (0x000003fd) not available
corecstat2: <CPU Package C-State residency counters> on cpu2
msr node0 core2 C3 res. (0x000003fc) not available
msr node0 core2 C6 res. (0x000003fd) not available
corecstat3: <CPU Package C-State residency counters> on cpu3
msr node0 core3 C3 res. (0x000003fc) not available
msr node0 core3 C6 res. (0x000003fd) not available
corecstat4: <CPU Package C-State residency counters> on cpu4
msr node0 core4 C3 res. (0x000003fc) not available
msr node0 core4 C6 res. (0x000003fd) not available
corecstat5: <CPU Package C-State residency counters> on cpu5
msr node0 PC3 residency (0x000003f8) not available
msr node0 PC6 residency (0x000003f9) not available
msr node0 PC7 residency (0x000003fa) not available
msr node0 core5 C3 res. (0x000003fc) not available
msr node0 core5 C6 res. (0x000003fd) not available
=== hw.sensors after ===
hw.sensors.dev_idmax: 7
=== kldunload ===
KLDUNLOAD_RC=0

######################## RUN 2 (fresh boot after vm.sh reset with-src) ######
# same commands; dmesg | tail -20 (the corecstat0 attach line scrolled above
# the tail window in this capture; its 2 core MSR lines are visible)
############################################################################
BUILD_OK
hw.sensors.dev_idmax: 6
KLDLOAD_RC=0
msr node0 core0 C3 res. (0x000003fc) not available
msr node0 core0 C6 res. (0x000003fd) not available
corecstat1: <CPU Package C-State residency counters> on cpu1
msr node0 core1 C3 res. (0x000003fc) not available
msr node0 core1 C6 res. (0x000003fd) not available
corecstat2: <CPU Package C-State residency counters> on cpu2
msr node0 core2 C3 res. (0x000003fc) not available
msr node0 core2 C6 res. (0x000003fd) not available
corecstat3: <CPU Package C-State residency counters> on cpu3
msr node0 core3 C3 res. (0x000003fc) not available
msr node0 core3 C6 res. (0x000003fd) not available
corecstat4: <CPU Package C-State residency counters> on cpu4
msr node0 core4 C3 res. (0x000003fc) not available
msr node0 core4 C6 res. (0x000003fd) not available
corecstat5: <CPU Package C-State residency counters> on cpu5
msr node0 PC3 residency (0x000003f8) not available
msr node0 PC6 residency (0x000003f9) not available
msr node0 PC7 residency (0x000003fa) not available
msr node0 core5 C3 res. (0x000003fc) not available
msr node0 core5 C6 res. (0x000003fd) not available
hw.sensors.dev_idmax: 7
KLDUNLOAD_RC=0
hw.sensors.dev_idmax: 6

######################## FIX VALIDATION (probe+attach family gate) #########
# module rebuilt from pristine source + fix.diff transformation; stock cpu
############################################################################
2                       <- grep -c "cpu_family != 0x06" (both sites patched)
BUILD_OK
hw.sensors.dev_idmax: 6
KLDLOAD_RC=0
12                      <- dmesg | grep -c corecstat : ALL pre-existing lines from
                           the earlier DF-4780 fix-validation run on this same boot;
                           zero new attach/msr lines were emitted by this kldload
hw.sensors.dev_idmax: 6 <- stays 6: no device attached, no phantom sensordev
UNLOAD_OK