Searched refs:x30_min (Results 1 – 1 of 1) sorted by relevance
1354 Int x30_min = offsetof(VexGuestARM64State, guest_X30); in guest_arm64_state_requires_precise_mem_exns() local1355 Int x30_max = x30_min + 8 - 1; in guest_arm64_state_requires_precise_mem_exns()1357 if (maxoff < x30_min || minoff > x30_max) { in guest_arm64_state_requires_precise_mem_exns()