1// See LICENSE for license details.
2
3#ifndef _MMAP_H
4#define _MMAP_H
5
6#include "vm.h"
7#include "syscall.h"
8#include "encoding.h"
9#include "file.h"
10#include "mtrap.h"
11#include <stddef.h>
12
13#define PROT_NONE 0
14#define PROT_READ 1
15#define PROT_WRITE 2
16#define PROT_EXEC 4
17
18#define MAP_PRIVATE 0x2
19#define MAP_FIXED 0x10
20#define MAP_ANONYMOUS 0x20
21#define MAP_POPULATE 0x8000
22#define MREMAP_FIXED 0x2
23
24extern int demand_paging;
25uintptr_t pk_vm_init();
26int handle_page_fault(uintptr_t vaddr, int prot);
27void populate_mapping(const void* start, size_t size, int prot);
28void __map_kernel_range(uintptr_t va, uintptr_t pa, size_t len, int prot);
29int __valid_user_range(uintptr_t vaddr, size_t len);
30uintptr_t __do_mmap(uintptr_t addr, size_t length, int prot, int flags, file_t* file, off_t offset);
31uintptr_t do_mmap(uintptr_t addr, size_t length, int prot, int flags, int fd, off_t offset);
32int do_munmap(uintptr_t addr, size_t length);
33uintptr_t do_mremap(uintptr_t addr, size_t old_size, size_t new_size, int flags);
34uintptr_t do_mprotect(uintptr_t addr, size_t length, int prot);
35uintptr_t do_brk(uintptr_t addr);
36
37#define va2pa(va) ({ uintptr_t __va = (uintptr_t)(va); \
38  extern uintptr_t first_free_paddr; \
39  __va >= DRAM_BASE ? __va : __va + first_free_paddr; })
40
41#endif
42