d2986cb6d0
* arm efi additions * cleanup some cpu headers which were oddly split between efi and bios_ia32 * Move calculate_cpu_conversion_factor over to arch_timer since it is timerish, and x86 only * Drop some duplicated code from efi start. Move hpet init code into efi timer/hpet code Change-Id: Ia4264a5690ba8c09417b06788febc4f572f111ce Reviewed-on: https://review.haiku-os.org/c/haiku/+/2259 Reviewed-by: Alex von Gluck IV <kallisti5@unixzen.com> Reviewed-by: Adrien Destugues <pulkomandy@gmail.com>
36 lines
817 B
C
36 lines
817 B
C
/*
|
|
** Copyright 2003, Axel Dörfler, axeld@pinc-software.de. All rights reserved.
|
|
** Distributed under the terms of the MIT License.
|
|
*/
|
|
#ifndef KERNEL_ARCH_ARM_KERNEL_ARGS_H
|
|
#define KERNEL_ARCH_ARM_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>
|
|
|
|
|
|
#define _PACKED __attribute__((packed))
|
|
|
|
// kernel args
|
|
typedef struct {
|
|
int cpu_type;
|
|
int fpu_type;
|
|
int mmu_type;
|
|
int platform;
|
|
int machine; // platform specific machine type
|
|
|
|
// architecture specific
|
|
uint32 phys_pgdir;
|
|
uint32 vir_pgdir;
|
|
uint32 next_pagetable;
|
|
|
|
// needed for UEFI, otherwise kernel acpi support can't find ACPI root
|
|
FixedWidthPointer<void> acpi_root;
|
|
} _PACKED arch_kernel_args;
|
|
|
|
#endif /* KERNEL_ARCH_ARM_KERNEL_ARGS_H */
|