machdep.h (23e42a83c15ff793f09906ddfa40574155fbcc5d) machdep.h (857ab36fc270abe5a6fcd1208b62dff9174dcd8b)
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

--- 23 unchanged lines hidden (view full) ---

32#ifdef _KERNEL
33
34struct 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 */
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

--- 23 unchanged lines hidden (view full) ---

32#ifdef _KERNEL
33
34struct 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 vm_paddr_t kern_ttbr0;
40 int boot_el; /* EL the kernel booted from */
41 int pad;
42};
43
44enum arm64_bus {
45 ARM64_BUS_NONE,
46 ARM64_BUS_FDT,
47 ARM64_BUS_ACPI,

--- 17 unchanged lines hidden --- 		41 int boot_el; /* EL the kernel booted from */
42 int pad;
43};
44
45enum arm64_bus {
46 ARM64_BUS_NONE,
47 ARM64_BUS_FDT,
48 ARM64_BUS_ACPI,

--- 17 unchanged lines hidden ---