Searched defs:pic_num_x (Results 1 – 1 of 1) sorted by relevance
553 let pic_num_x = pic.pic_num - (marking.difference_of_pic_nums_minus1 as i32 + 1); in mmco_op_1() localVariable589 let pic_num_x = pic.pic_num - (marking.difference_of_pic_nums_minus1 as i32 + 1); in mmco_op_3() localVariable