digging more I have found this in mgmt_soc.v

The verilog and C code has been validated through simulation, so if there is a discrepancy in the documentation, then the documentation is at fault.