xref: /dports/sysutils/mcelog/mcelog-178/denverton.h

void denverton_decode_model(int cputype, int bank, u64 status, u64 misc);