Searched refs:kc_highest_rx_vmaddr (Results 1 – 1 of 1) sorted by relevance
397 uintptr_t *kc_lowest_rx_vmaddr, uintptr_t *kc_highest_rx_vmaddr, in kernel_collection_adjust_mh_addrs() argument515 if (kc_highest_rx_vmaddr) { in kernel_collection_adjust_mh_addrs()516 *kc_highest_rx_vmaddr = highest_rx_vmaddr; in kernel_collection_adjust_mh_addrs()