kexec
cdev_kexec_init(NKEXEC,kexec), /* 18: kexec */
kexec = kexec_prepare(symend - start + PA_KERN, size,
kexec(rwva, (vaddr_t)addr, PA_KERN + (eh.e_entry - start), size,
void (*kexec)(vaddr_t, vaddr_t, paddr_t, size_t, vaddr_t);
cdev_decl(kexec);
kexec(isupgrade);
void kexec(int);
kexec(isupgrade);
void kexec(int);
kexec(start_pa + (eh.e_entry - start), fdt_pa);
void kexec(paddr_t, paddr_t);
cdev_decl(kexec);
cdev_kexec_init(NKEXEC,kexec), /* 16: kexec */
kexec(isupgrade);
void kexec(int);