Symbol: aarch64_exec_kernel
sys/stand/efiboot/bootaa64/efibootaa64.c
40
void aarch64_exec_kernel(paddr_t, paddr_t);
sys/stand/efiboot/bootaa64/efibootaa64.c
66
aarch64_exec_kernel((paddr_t)kernel_entry, (paddr_t)fdt_start);