denverton.h

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