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