Searched refs:kernel_bases (Results 1 – 1 of 1) sorted by relevance
206 unsigned long kernel_bases[] = {0x40008000, 0x40080000, 0x80008000}; in main() local234 for (size_t ii = 0; ii < sizeof(kernel_bases) / sizeof(kernel_bases[0]); in main()236 for (unsigned long pa = kernel_bases[ii]; pa < kernel_bases[ii] + pa_length; in main()