Searched refs:highest_rx_vmaddr (Results 1 – 1 of 1) sorted by relevance
409 uintptr_t lowest_rx_vmaddr = UINTPTR_MAX, highest_rx_vmaddr = 0; in kernel_collection_adjust_mh_addrs() local495 …if (seg->vmaddr + seg->vmsize > highest_rx_vmaddr && (highest_rx_vmaddr >= seg->vmaddr || highest_… in kernel_collection_adjust_mh_addrs()496 highest_rx_vmaddr = (uintptr_t)seg->vmaddr + (uintptr_t)seg->vmsize; in kernel_collection_adjust_mh_addrs()516 *kc_highest_rx_vmaddr = highest_rx_vmaddr; in kernel_collection_adjust_mh_addrs()