f9412d9f8a
* MMU mapping * EL2 to EL1 transition (FreeBSD/Jaroslaw Pelczar) * Initial implementation for cache cleaning and TLB invalidations (ARM) * Processor Helper functions * Additional Logging in boot process Change-Id: Idcee93583418a3c3528c5d9586d3add487f9d5ca Reviewed-on: https://review.haiku-os.org/c/haiku/+/4888 Reviewed-by: Adrien Destugues <pulkomandy@gmail.com> Reviewed-by: Alex von Gluck IV <kallisti5@unixzen.com> Tested-by: Commit checker robot <no-reply+buildbot@haiku-os.org>
34 lines
755 B
C
34 lines
755 B
C
/*
|
|
** Copyright 2021 Haiku, Inc. All rights reserved.
|
|
** Distributed under the terms of the MIT License.
|
|
*/
|
|
#ifndef KERNEL_ARCH_ARM64_KERNEL_ARGS_H
|
|
#define KERNEL_ARCH_ARM64_KERNEL_ARGS_H
|
|
|
|
#ifndef KERNEL_BOOT_KERNEL_ARGS_H
|
|
# error This file is included from <boot/kernel_args.h> only
|
|
#endif
|
|
|
|
|
|
#include <util/FixedWidthPointer.h>
|
|
#include <boot/uart.h>
|
|
|
|
|
|
#define _PACKED __attribute__((packed))
|
|
|
|
|
|
typedef struct {
|
|
// needed for UEFI, otherwise kernel acpi support can't find ACPI root
|
|
FixedWidthPointer<void> acpi_root;
|
|
// TODO: Deal with this later in the port
|
|
// FixedWidthPointer<void> fdt;
|
|
// uart_info uart;
|
|
|
|
uint64 phys_pgdir;
|
|
uint64 vir_pgdir;
|
|
uint64 next_pagetable;
|
|
|
|
} _PACKED arch_kernel_args;
|
|
|
|
#endif /* KERNEL_ARCH_ARM64_KERNEL_ARGS_H */
|