skylake_xeon.h

void skylake_s_decode_model(int cputype, int bank, u64 status, u64 misc);
int skylake_s_ce_type(int bank, u64 status, u64 misc);