GEN12_FAULT_TLB_DATA1
fault_data1_reg = GEN12_FAULT_TLB_DATA1;
{ GEN12_FAULT_TLB_DATA1, 0, 0, "GEN12_FAULT_TLB_DATA1" }, \
GEN12_FAULT_TLB_DATA1);