Searched refs:highestPage (Results 1 – 1 of 1) sorted by relevance
4050 ppnum_t highestPage = 0; in io_get_kernel_static_upl() local4072 if (phys > highestPage) { in io_get_kernel_static_upl()4073 highestPage = phys; in io_get_kernel_static_upl()4077 *highest_page = highestPage; in io_get_kernel_static_upl()4184 ppnum_t highestPage = 0; in wireVirtual() local4337 if (highPage > highestPage) { in wireVirtual()4338 highestPage = highPage; in wireVirtual()4397 _highestPage = highestPage; in wireVirtual()