CRASH_ADDR_HIGH_MAX
#ifndef CRASH_ADDR_HIGH_MAX
search_end = CRASH_ADDR_HIGH_MAX;
search_end = CRASH_ADDR_HIGH_MAX;
if (high && search_end == CRASH_ADDR_HIGH_MAX) {
if (search_end != CRASH_ADDR_HIGH_MAX)