Get_ITD_FRAME
pfl_number = Get_ITD_FRAME(curr_itd->itd_frame_number) %
ASSERT(Get_ITD_FRAME(old_itd->itd_frame_number) == 0);
itd_frame_number = Get_ITD_FRAME(curr_itd->itd_frame_number);
Get_ITD_FRAME(curr_itd->itd_reclaim_number);