Searched refs:kernel_range_low (Results 1 – 1 of 1) sorted by relevance
297 addr_t kernel_range_low; in SearchForKernelNearPC() local300 kernel_range_low = 1ULL << 63; in SearchForKernelNearPC()304 kernel_range_low = 1ULL << 31; in SearchForKernelNearPC()308 if (pc < kernel_range_low) in SearchForKernelNearPC()318 while (i < 32 && pc >= kernel_range_low) in SearchForKernelNearPC()347 addr_t kernel_range_low, kernel_range_high; in SearchForKernelViaExhaustiveSearch() local350 kernel_range_low = 1ULL << 63; in SearchForKernelViaExhaustiveSearch()355 kernel_range_low = 1ULL << 31; in SearchForKernelViaExhaustiveSearch()366 addr_t addr = kernel_range_low; in SearchForKernelViaExhaustiveSearch()368 while (addr >= kernel_range_low && addr < kernel_range_high) in SearchForKernelViaExhaustiveSearch()