ce_count는 커널 소프트웨어에서 계산됩니까, 아니면 메모리 컨트롤러의 레지스터에서 읽혀집니까?

sysfile의 값은 운영 체제에서 계산됩니까, 아니면 메모리 컨트롤러의 레지스터에서 읽혀 집니까?

/sys/devices/system/edac/mc/mc*/ce_count

운영 체제에서 계산한 것으로 보는데 그 값은 하드웨어에서 계산해야 한다고 생각합니다.

mci->csrows[row]->channels[chan]->ce_count += count;

https://github.com/torvalds/linux/blob/08bf1a27c4c354b853fd81a79e953525bbcc8506/drivers/edac/edac_mc.c#L980