1 /* 2 ** Copyright 2021 Haiku, Inc. All rights reserved. 3 ** Distributed under the terms of the MIT License. 4 */ 5 #ifndef KERNEL_ARCH_ARM64_KERNEL_ARGS_H 6 #define KERNEL_ARCH_ARM64_KERNEL_ARGS_H 7 8 #ifndef KERNEL_BOOT_KERNEL_ARGS_H 9 # error This file is included from <boot/kernel_args.h> only 10 #endif 11 12 13 #include <util/FixedWidthPointer.h> 14 #include <boot/interrupt_controller.h> 15 #include <boot/uart.h> 16 17 18 #define _PACKED __attribute__((packed)) 19 20 21 typedef struct { 22 uint64 phys_pgdir; 23 uint64 vir_pgdir; 24 uint64 next_pagetable; 25 26 // needed for UEFI, otherwise kernel acpi support can't find ACPI root 27 FixedWidthPointer<void> acpi_root; 28 FixedWidthPointer<void> fdt; 29 30 uart_info uart; 31 intc_info interrupt_controller; 32 33 } _PACKED arch_kernel_args; 34 35 #endif /* KERNEL_ARCH_ARM64_KERNEL_ARGS_H */ 36