Searched refs:rbp_max (Results 1 – 1 of 1) sorted by relevance
4338 Int rbp_max = rbp_min + 8 - 1; in guest_amd64_state_requires_precise_mem_exns() local4352 if (maxoff < rbp_min || minoff > rbp_max) { in guest_amd64_state_requires_precise_mem_exns()