Searched refs:rbp_min (Results 1 – 1 of 1) sorted by relevance
4337 Int rbp_min = offsetof(VexGuestAMD64State, guest_RBP); in guest_amd64_state_requires_precise_mem_exns() local4338 Int rbp_max = rbp_min + 8 - 1; in guest_amd64_state_requires_precise_mem_exns()4352 if (maxoff < rbp_min || minoff > rbp_max) { in guest_amd64_state_requires_precise_mem_exns()