arch_kernel_args.h revision 05dda88d
1/*
2** Copyright 2003, Axel D��rfler, axeld@pinc-software.de. All rights reserved.
3** Distributed under the terms of the MIT License.
4*/
5#ifndef KERNEL_ARCH_RISCV64_KERNEL_ARGS_H
6#define KERNEL_ARCH_RISCV64_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// kernel args
13typedef struct {
14	// architecture specific
15	uint64		phys_pgdir;
16	uint64  	vir_pgdir;
17	uint64		next_pagetable;
18} arch_kernel_args;
19
20#endif	/* KERNEL_ARCH_RISCV64_KERNEL_ARGS_H */
21