Searched refs:kernel_top (Results 1 – 1 of 1) sorted by relevance
166 uint64_t kernel_top = 0; in sun4u_load_kernel() local173 kernel_addr, &kernel_top, NULL, in sun4u_load_kernel()193 if (initrd_filename && kernel_top) { in sun4u_load_kernel()194 *initrd_addr = TARGET_PAGE_ALIGN(kernel_top); in sun4u_load_kernel()