Searched refs:kernel_range_high (Results 1 – 1 of 1) sorted by relevance
357 addr_t kernel_range_low, kernel_range_high; in SearchForKernelViaExhaustiveSearch() local360 kernel_range_high = UINT64_MAX; in SearchForKernelViaExhaustiveSearch()363 kernel_range_high = UINT32_MAX; in SearchForKernelViaExhaustiveSearch()375 while (addr >= kernel_range_low && addr < kernel_range_high) { in SearchForKernelViaExhaustiveSearch()