Searched refs:kc_highest_nle_vmaddr (Results 1 – 1 of 1) sorted by relevance
398 uintptr_t *kc_highest_nle_vmaddr) in kernel_collection_adjust_mh_addrs() argument518 if (kc_highest_nle_vmaddr) { in kernel_collection_adjust_mh_addrs()519 *kc_highest_nle_vmaddr = highest_nle_vmaddr; in kernel_collection_adjust_mh_addrs()