#include <ppc/vm.h>
#include <assert.h>
#include <stdio.h>
#include "register.h"
#include "elf/elf_abi.h"
#include "usb/tinyehci/ehci_types.h"
Go to the source code of this file.
◆ __attribute__()
uint32_t pagetable[] __attribute__ |
( |
(section(".pagetable")) |
| ) |
|
◆ 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.
◆ userpagetable
Definition at line 35 of file vm.c.
◆ vm_segfault_handler
Definition at line 36 of file vm.c.