Searched refs:highest_nle_vmaddr (Results 1 – 1 of 1) sorted by relevance
407 uintptr_t lowest_vmaddr = UINTPTR_MAX, highest_vmaddr = 0, highest_nle_vmaddr = 0; in kernel_collection_adjust_mh_addrs() local467 highest_nle_vmaddr = highest_vmaddr; in kernel_collection_adjust_mh_addrs()519 *kc_highest_nle_vmaddr = highest_nle_vmaddr; in kernel_collection_adjust_mh_addrs()