mirror of
https://review.haiku-os.org/haiku
synced 2025-02-15 01:58:36 +01:00
05dda88dc1
Change-Id: I6bfbacb61eae84ffebc30c2565683348d684d88f Reviewed-on: https://review.haiku-os.org/c/1063 Reviewed-by: Adrien Destugues <pulkomandy@gmail.com>
21 lines
517 B
C
21 lines
517 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_RISCV64_KERNEL_ARGS_H
|
|
#define KERNEL_ARCH_RISCV64_KERNEL_ARGS_H
|
|
|
|
#ifndef KERNEL_BOOT_KERNEL_ARGS_H
|
|
# error This file is included from <boot/kernel_args.h> only
|
|
#endif
|
|
|
|
// kernel args
|
|
typedef struct {
|
|
// architecture specific
|
|
uint64 phys_pgdir;
|
|
uint64 vir_pgdir;
|
|
uint64 next_pagetable;
|
|
} arch_kernel_args;
|
|
|
|
#endif /* KERNEL_ARCH_RISCV64_KERNEL_ARGS_H */
|