]> CyberLeo.Net >> Repos - FreeBSD/FreeBSD.git/blob - sys/arm64/include/machdep.h
Add initial driver for ACPI Platform Error Interfaces.
[FreeBSD/FreeBSD.git] / sys / arm64 / include / machdep.h
1 /*-
2  * Copyright (c) 2013 Andrew Turner <andrew@freebsd.org>
3  * All rights reserved.
4  *
5  * Redistribution and use in source and binary forms, with or without
6  * modification, are permitted provided that the following conditions
7  * are met:
8  * 1. Redistributions of source code must retain the above copyright
9  *    notice, this list of conditions and the following disclaimer.
10  * 2. Redistributions in binary form must reproduce the above copyright
11  *    notice, this list of conditions and the following disclaimer in the
12  *    documentation and/or other materials provided with the distribution.
13  *
14  * THIS SOFTWARE IS PROVIDED BY THE AUTHOR AND CONTRIBUTORS ``AS IS'' AND
15  * ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
16  * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
17  * ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHOR OR CONTRIBUTORS BE LIABLE
18  * FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
19  * DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
20  * OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
21  * HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
22  * LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
23  * OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
24  * SUCH DAMAGE.
25  *
26  * $FreeBSD$
27  */
28
29 #ifndef _MACHINE_MACHDEP_H_
30 #define _MACHINE_MACHDEP_H_
31
32 #ifdef _KERNEL
33
34 struct arm64_bootparams {
35         vm_offset_t     modulep;
36         vm_offset_t     kern_l1pt;      /* L1 page table for the kernel */
37         uint64_t        kern_delta;
38         vm_offset_t     kern_stack;
39         vm_offset_t     kern_l0pt;      /* L1 page table for the kernel */
40         int             boot_el;        /* EL the kernel booted from */
41         int             pad;
42 };
43
44 enum arm64_bus {
45         ARM64_BUS_NONE,
46         ARM64_BUS_FDT,
47         ARM64_BUS_ACPI,
48 };
49
50 extern enum arm64_bus arm64_bus_method;
51
52 void dbg_init(void);
53 bool has_hyp(void);
54 void initarm(struct arm64_bootparams *);
55 vm_offset_t parse_boot_param(struct arm64_bootparams *abp);
56 #ifdef FDT
57 void parse_fdt_bootargs(void);
58 #endif
59 int memory_mapping_mode(vm_paddr_t pa);
60 extern void (*pagezero)(void *);
61
62 #endif /* _KERNEL */
63
64 #endif /* _MACHINE_MACHDEP_H_ */