Lines Matching refs:data2
99 data2: BitsN.nbit option, exc_taken: bool, fetch_exc: bool,
1323 fun StateDelta_addr_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1325 {addr = x', data1 = data1, data2 = data2, exc_taken = exc_taken,
1329 fun StateDelta_data1_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1331 {addr = addr, data1 = x', data2 = data2, exc_taken = exc_taken,
1335 fun StateDelta_data2_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1337 {addr = addr, data1 = data1, data2 = x', exc_taken = exc_taken,
1341 fun StateDelta_exc_taken_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1343 {addr = addr, data1 = data1, data2 = data2, exc_taken = x',
1347 fun StateDelta_fetch_exc_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1349 {addr = addr, data1 = data1, data2 = data2, exc_taken = exc_taken,
1353 fun StateDelta_fp_data_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1355 {addr = addr, data1 = data1, data2 = data2, exc_taken = exc_taken,
1359 fun StateDelta_pc_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1361 {addr = addr, data1 = data1, data2 = data2, exc_taken = exc_taken,
1365 fun StateDelta_rinstr_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1367 {addr = addr, data1 = data1, data2 = data2, exc_taken = exc_taken,
1371 fun StateDelta_st_width_rupd ({addr, data1, data2, exc_taken, fetch_exc,
1373 {addr = addr, data1 = data1, data2 = data2, exc_taken = exc_taken,
1598 {addr = NONE, data1 = NONE, data2 = NONE, exc_taken = false,