ism_end
(va < ism_end(ism_map[i]))) {
vaddr < ism_end(ism_map[i])) {
addr < ism_end(ism_map[i])) ||
eaddr <= ism_end(ism_map[i])) {