Searched refs:ebp_max (Results 1 – 1 of 1) sorted by relevance
2900 Int ebp_max = ebp_min + 4 - 1; in guest_x86_state_requires_precise_mem_exns() local2914 if (maxoff < ebp_min || minoff > ebp_max) { in guest_x86_state_requires_precise_mem_exns()