| 76,14 → 76,14 |
|---|
| pte_t *ptl0; |
| }; |
| |
| extern vm_t * vm_create(void); |
| extern vm_t * vm_create(pte_t *ptl0); |
| extern void vm_destroy(vm_t *m); |
| |
| extern vm_area_t *vm_area_create(vm_t *m, vm_type_t type, size_t size, __address addr); |
| extern void vm_area_destroy(vm_area_t *a); |
| |
| extern void vm_area_map(vm_area_t *a); |
| extern void vm_area_unmap(vm_area_t *a); |
| extern void vm_area_map(vm_area_t *a, vm_t *m); |
| extern void vm_area_unmap(vm_area_t *a, vm_t *m); |
| |
| extern void vm_install(vm_t *m); |
| extern void vm_uninstall(vm_t *m); |