Searched refs:r1_max (Results 1 – 1 of 1) sorted by relevance
725 Int r1_max = r1_min + 4 - 1; in guest_ppc32_state_requires_precise_mem_exns() local729 if (maxoff < r1_min || minoff > r1_max) { in guest_ppc32_state_requires_precise_mem_exns()763 Int r1_max = r1_min + 8 - 1; in guest_ppc64_state_requires_precise_mem_exns() local769 if (maxoff < r1_min || minoff > r1_max) { in guest_ppc64_state_requires_precise_mem_exns()