Style fixes, NFCI.

This commit is contained in:
jmcneill 2021-01-09 13:15:15 +00:00
parent 4ba4b93100
commit 4720bc30f5
1 changed files with 13 additions and 9 deletions

View File

@ -1,4 +1,4 @@
/* $NetBSD: efibootaa64.c,v 1.3 2020/11/28 14:02:09 jmcneill Exp $ */
/* $NetBSD: efibootaa64.c,v 1.4 2021/01/09 13:15:15 jmcneill Exp $ */
/*-
* Copyright (c) 2016 Kimihiro Nonaka <nonaka@netbsd.org>
@ -47,18 +47,22 @@ efi_dcache_flush(u_long start, u_long size)
void
efi_boot_kernel(u_long marks[MARK_MAX])
{
void (*kernel_entry)(register_t, register_t, register_t, register_t);
u_long kernel_size;
u_long kernel_start, kernel_size, kernel_entry;
u_long fdt_start, fdt_size;
kernel_entry = (void *)marks[MARK_ENTRY];
kernel_size = marks[MARK_END] - marks[MARK_START];
kernel_start = marks[MARK_START];
kernel_size = marks[MARK_END] - kernel_start;
kernel_entry = marks[MARK_ENTRY];
fdt_start = (u_long)efi_fdt_data();
fdt_size = efi_fdt_size();
aarch64_dcache_wbinv_range((u_long)kernel_entry, kernel_size);
if (efi_fdt_size() > 0)
aarch64_dcache_wbinv_range((u_long)efi_fdt_data(), efi_fdt_size());
aarch64_dcache_wbinv_range(kernel_entry, kernel_size);
if (efi_fdt_size() > 0) {
aarch64_dcache_wbinv_range(fdt_start, fdt_size);
}
aarch64_icache_inv_all();
aarch64_exec_kernel((paddr_t)marks[MARK_ENTRY], (paddr_t)efi_fdt_data());
aarch64_exec_kernel((paddr_t)kernel_entry, (paddr_t)fdt_start);
}
/*