Lines Matching defs:kernel
37 * code from the kernel (or next stage) by setup_purgatory().
93 /* load the kernel address */
94 ld %r4,(kernel - 0b)(%r18)
99 /* and patch it into the kernel */
104 li %r5,0 /* r5 will be 0 for kernel */
111 bctr /* start kernel */
119 rfid /* update MSR and start kernel */
122 .globl kernel
123 kernel:
125 .size kernel, . - kernel