Searched refs:ppc64_kernel (Results 1 – 2 of 2) sorted by relevance
54 content = ppc64_kernel; in bootfile_create() 55 len = sizeof(ppc64_kernel); in bootfile_create()
6 unsigned char ppc64_kernel[] = { variable