Searched refs:r1_max (Results 1 – 1 of 1) sorted by relevance
709 Int r1_max = r1_min + 4 - 1; in guest_ppc32_state_requires_precise_mem_exns() local713 if (maxoff < r1_min || minoff > r1_max) { in guest_ppc32_state_requires_precise_mem_exns()746 Int r1_max = r1_min + 8 - 1; in guest_ppc64_state_requires_precise_mem_exns() local752 if (maxoff < r1_min || minoff > r1_max) { in guest_ppc64_state_requires_precise_mem_exns()