Searched refs:x30_max (Results 1 – 1 of 1) sorted by relevance
1355 Int x30_max = x30_min + 8 - 1; in guest_arm64_state_requires_precise_mem_exns() local1357 if (maxoff < x30_min || minoff > x30_max) { in guest_arm64_state_requires_precise_mem_exns()