pub const KVM_TRC_TDP_FAULT: u32 = 131093;