1/*	$NetBSD: efibootaa64.c,v 1.6 2022/08/14 11:26:41 jmcneill Exp $	*/
2
3/*-
4 * Copyright (c) 2016 Kimihiro Nonaka <nonaka@netbsd.org>
5 * All rights reserved.
6 *
7 * Redistribution and use in source and binary forms, with or without
8 * modification, are permitted provided that the following conditions
9 * are met:
10 * 1. Redistributions of source code must retain the above copyright
11 *    notice, this list of conditions and the following disclaimer.
12 * 2. Redistributions in binary form must reproduce the above copyright
13 *    notice, this list of conditions and the following disclaimer in the
14 *    documentation and/or other materials provided with the distribution.
15 *
16 * THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
17 * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
18 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
19 * ARE DISCLAIMED.  IN NO EVENT SHALL THE REGENTS OR CONTRIBUTORS BE LIABLE
20 * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
21 * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
22 * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
23 * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
24 * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
25 * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
26 * SUCH DAMAGE.
27 */
28
29#include "../efiboot.h"
30#include "../efifdt.h"
31
32#include <sys/bootblock.h>
33
34#include <loadfile.h>
35
36/* cache.S */
37void aarch64_dcache_wbinv_range(vaddr_t, vsize_t);
38void aarch64_icache_inv_all(void);
39void aarch64_exec_kernel(paddr_t, paddr_t);
40
41void
42efi_dcache_flush(u_long start, u_long size)
43{
44	aarch64_dcache_wbinv_range(start, size);
45}
46
47void
48efi_boot_kernel(u_long marks[MARK_MAX])
49{
50	u_long kernel_start, kernel_size, kernel_entry;
51	u_long fdt_start, fdt_size;
52
53	kernel_start = marks[MARK_START];
54	kernel_size = marks[MARK_END] - kernel_start;
55	kernel_entry = marks[MARK_ENTRY];
56	fdt_start = (u_long)efi_fdt_data();
57	fdt_size = efi_fdt_size();
58
59	aarch64_dcache_wbinv_range(kernel_start, kernel_size);
60	if (efi_fdt_size() > 0) {
61		aarch64_dcache_wbinv_range(fdt_start, fdt_size);
62	}
63	aarch64_icache_inv_all();
64
65	aarch64_exec_kernel((paddr_t)kernel_entry, (paddr_t)fdt_start);
66}
67
68/*
69 * Returns the current exception level.
70 */
71static u_int
72efi_aarch64_current_el(void)
73{
74	uint64_t el;
75	__asm __volatile ("mrs %0, CurrentEL" : "=r" (el));
76	return (el >> 2) & 0x3;
77}
78
79void
80efi_md_show(void)
81{
82	command_printtab("CurrentEL", "EL%u\n", efi_aarch64_current_el());
83}
84