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