/** Copyright 2009-2019 Haiku, Inc. All rights reserved.* Distributed under the terms of the MIT License.*/#ifndef _KERNEL_ARCH_RISCV64_VM_H#define _KERNEL_ARCH_RISCV64_VM_H/* This many pages will be read/written on I/O if possible */#define NUM_IO_PAGES 4/* 16 kB */#define PAGE_SHIFT 12#endif /* _KERNEL_ARCH_RISCV64_VM_H */