#include <stdint.h>
Go to the source code of this file.
◆ VM_USER_PAGE_BITS
#define VM_USER_PAGE_BITS 16 |
Definition at line 8 of file vm.h.
◆ VM_USER_PAGE_MASK
Definition at line 10 of file vm.h.
◆ VM_USER_PAGE_SIZE
Definition at line 9 of file vm.h.
◆ VM_WIMG_CACHED
#define VM_WIMG_CACHED 0x190 |
Definition at line 12 of file vm.h.
◆ VM_WIMG_CACHED_READ_ONLY
Definition at line 15 of file vm.h.
◆ VM_WIMG_GUARDED
#define VM_WIMG_GUARDED 0x1B8 |
Definition at line 13 of file vm.h.
◆ VM_WIMG_GUARDED_READ_ONLY
Definition at line 16 of file vm.h.
◆ VM_WIMG_MODIFIER_READ_ONLY
#define VM_WIMG_MODIFIER_READ_ONLY 3 |
Definition at line 14 of file vm.h.
◆ vm_segfault_handler_t
typedef void *(* vm_segfault_handler_t) (int, void *, void *, int) |
Definition at line 18 of file vm.h.
◆ vm_create_user_mapping()
void vm_create_user_mapping |
( |
uint32_t |
virt_addr, |
|
|
uint64_t |
phys_addr, |
|
|
int |
size, |
|
|
int |
wimg |
|
) |
| |
Definition at line 54 of file vm.c.
◆ vm_destroy_user_mapping()
void vm_destroy_user_mapping |
( |
uint32_t |
virt_addr, |
|
|
int |
size |
|
) |
| |
Definition at line 74 of file vm.c.
◆ vm_set_user_mapping_flags()
void vm_set_user_mapping_flags |
( |
uint32_t |
virt_addr, |
|
|
int |
size, |
|
|
int |
wimg |
|
) |
| |
Definition at line 90 of file vm.c.
◆ vm_set_user_mapping_segfault_handler()
Definition at line 110 of file vm.c.