Rev 1 | Rev 121 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 1 | Rev 72 | ||
---|---|---|---|
Line 75... | Line 75... | ||
75 | }; |
75 | }; |
76 | 76 | ||
77 | extern vm_t * vm_create(void); |
77 | extern vm_t * vm_create(void); |
78 | extern void vm_destroy(vm_t *m); |
78 | extern void vm_destroy(vm_t *m); |
79 | 79 | ||
80 | extern vm_area_t *vm_area_create(vm_t *m, vm_type_t type, int size, __address addr); |
80 | extern vm_area_t *vm_area_create(vm_t *m, vm_type_t type, size_t size, __address addr); |
81 | extern void vm_area_destroy(vm_area_t *a); |
81 | extern void vm_area_destroy(vm_area_t *a); |
82 | 82 | ||
83 | extern void vm_area_map(vm_area_t *a); |
83 | extern void vm_area_map(vm_area_t *a); |
84 | extern void vm_area_unmap(vm_area_t *a); |
84 | extern void vm_area_unmap(vm_area_t *a); |
85 | 85 |