Changeset View

Standalone View

	/*-			/*-
	* Copyright (c) 2022, Netflix, Inc.			* Copyright (c) 2022, Netflix, Inc.
	*			*
	* SPDX-License-Identifier: BSD-2-Clause			* SPDX-License-Identifier: BSD-2-Clause
	*/			*/

	#ifndef KBOOT_H			#ifndef KBOOT_H
	#define KBOOT_H			#define KBOOT_H

	#define DEVT_HOSTDISK 1234			#define DEVT_HOSTDISK 1234

				struct memory_segments
				{
				uint64_t start;
				uint64_t end;
				uint64_t type; /* MD defined */
				};

				bool enumerate_memory_arch(void);

	bool has_acpi(void);			bool has_acpi(void);
	vm_offset_t acpi_rsdp(void);			vm_offset_t acpi_rsdp(void);

	void do_init(void);			void do_init(void);

	/* Per-platform fdt fixup */			/* Per-platform fdt fixup */
	void fdt_arch_fixups(void *fdtp);			void fdt_arch_fixups(void *fdtp);

	Show All 14 Lines