Searched refs:kernel_range_high (Results 1 – 1 of 1) sorted by relevance
347 addr_t kernel_range_low, kernel_range_high; in SearchForKernelViaExhaustiveSearch() local351 kernel_range_high = UINT64_MAX; in SearchForKernelViaExhaustiveSearch()356 kernel_range_high = UINT32_MAX; in SearchForKernelViaExhaustiveSearch()368 while (addr >= kernel_range_low && addr < kernel_range_high) in SearchForKernelViaExhaustiveSearch()