broadwell_epex.h

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