/*
** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
** Distributed under the terms of the NewOS License.
*/
#ifndef KERNEL_ARCH_x86_KERNEL_ARGS_H
#define KERNEL_ARCH_x86_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 MAX_BOOT_PTABLES 16

#define _PACKED __attribute__((packed))

// kernel args
typedef struct {
	// architecture specific
	uint32	system_time_cv_factor;
	uint64	cpu_clock_speed;
	uint32	phys_pgdir;
	uint64	vir_pgdir;
	uint32	num_pgtables;
	uint32	pgtables[MAX_BOOT_PTABLES];
	uint64	virtual_end;
	uint64	page_hole;
	// smp stuff
	uint32	apic_time_cv_factor; // apic ticks per second
	uint32	apic_phys;
	FixedWidthPointer<void> apic;
	uint32	ioapic_phys;
	uint32	cpu_apic_id[SMP_MAX_CPUS];
	uint32	cpu_apic_version[SMP_MAX_CPUS];
	// hpet stuff
	uint32	hpet_phys;
	FixedWidthPointer<void> hpet;
	// needed for UEFI, otherwise kernel acpi support can't find ACPI root
	FixedWidthPointer<void> acpi_root;
} _PACKED arch_kernel_args;

#endif	/* KERNEL_ARCH_x86_KERNEL_ARGS_H */