2002-07-09 16:24:59 +04:00
|
|
|
/*
|
|
|
|
** Copyright 2001-2002, Travis Geiselbrecht. All rights reserved.
|
|
|
|
** Distributed under the terms of the NewOS License.
|
|
|
|
*/
|
|
|
|
#ifndef _KERNEL_VM_H
|
|
|
|
#define _KERNEL_VM_H
|
|
|
|
|
2003-05-03 20:03:26 +04:00
|
|
|
|
2002-07-09 16:24:59 +04:00
|
|
|
#include <kernel.h>
|
|
|
|
#include <defines.h>
|
|
|
|
#include <vfs.h>
|
|
|
|
#include <vm_types.h>
|
|
|
|
#include <arch/vm_translation_map.h>
|
|
|
|
|
2003-05-03 20:03:26 +04:00
|
|
|
struct kernel_args;
|
|
|
|
|
|
|
|
|
2003-06-27 06:27:43 +04:00
|
|
|
#ifdef __cplusplus
|
|
|
|
extern "C" {
|
|
|
|
#endif
|
|
|
|
|
2002-07-09 16:24:59 +04:00
|
|
|
//void vm_dump_areas(vm_address_space *aspace);
|
|
|
|
int vm_init(kernel_args *ka);
|
2003-05-03 20:03:26 +04:00
|
|
|
int vm_init_postsem(struct kernel_args *ka);
|
|
|
|
int vm_init_postthread(struct kernel_args *ka);
|
2002-07-09 16:24:59 +04:00
|
|
|
|
|
|
|
aspace_id vm_create_aspace(const char *name, addr base, addr size, bool kernel);
|
|
|
|
int vm_delete_aspace(aspace_id);
|
|
|
|
vm_address_space *vm_get_kernel_aspace(void);
|
|
|
|
aspace_id vm_get_kernel_aspace_id(void);
|
|
|
|
vm_address_space *vm_get_current_user_aspace(void);
|
|
|
|
aspace_id vm_get_current_user_aspace_id(void);
|
|
|
|
vm_address_space *vm_get_aspace_by_id(aspace_id aid);
|
|
|
|
void vm_put_aspace(vm_address_space *aspace);
|
|
|
|
vm_region *vm_get_region_by_id(region_id rid);
|
|
|
|
void vm_put_region(vm_region *region);
|
|
|
|
#define vm_aspace_swap(aspace) arch_vm_aspace_swap(aspace)
|
|
|
|
|
2003-08-19 18:11:58 +04:00
|
|
|
// private kernel only extension (should be moved somewhere else):
|
|
|
|
struct team;
|
2003-08-20 06:10:14 +04:00
|
|
|
area_id create_area_etc(struct team *team, const char *name, void **address, uint32 addressSpec,
|
2003-08-19 18:11:58 +04:00
|
|
|
uint32 size, uint32 lock, uint32 protection);
|
2003-08-19 21:22:47 +04:00
|
|
|
status_t delete_area_etc(struct team *team, area_id area);
|
2003-08-19 18:11:58 +04:00
|
|
|
|
|
|
|
region_id vm_create_anonymous_region(aspace_id aid, const char *name, void **address, int addr_type,
|
2002-07-09 16:24:59 +04:00
|
|
|
addr size, int wiring, int lock);
|
2003-08-20 06:10:14 +04:00
|
|
|
region_id vm_map_physical_memory(aspace_id aid, const char *name, void **address, int addr_type,
|
2002-07-09 16:24:59 +04:00
|
|
|
addr size, int lock, addr phys_addr);
|
|
|
|
region_id vm_map_file(aspace_id aid, char *name, void **address, int addr_type,
|
|
|
|
addr size, int lock, int mapping, const char *path, off_t offset);
|
|
|
|
region_id vm_create_null_region(aspace_id aid, char *name, void **address, int addr_type, addr size);
|
|
|
|
region_id vm_clone_region(aspace_id aid, char *name, void **address, int addr_type,
|
|
|
|
region_id source_region, int mapping, int lock);
|
|
|
|
int vm_delete_region(aspace_id aid, region_id id);
|
|
|
|
region_id vm_find_region_by_name(aspace_id aid, const char *name);
|
|
|
|
|
|
|
|
int vm_get_page_mapping(aspace_id aid, addr vaddr, addr *paddr);
|
|
|
|
int vm_get_physical_page(addr paddr, addr *vaddr, int flags);
|
|
|
|
int vm_put_physical_page(addr vaddr);
|
|
|
|
|
|
|
|
int user_memcpy(void *to, const void *from, size_t size);
|
|
|
|
int user_strcpy(char *to, const char *from);
|
|
|
|
int user_strncpy(char *to, const char *from, size_t size);
|
2002-10-08 07:19:57 +04:00
|
|
|
int user_strlcpy(char *to, const char *from, size_t size);
|
2002-07-09 16:24:59 +04:00
|
|
|
int user_memset(void *s, char c, size_t count);
|
|
|
|
|
2003-08-19 18:11:58 +04:00
|
|
|
area_id _user_create_area(const char *name, void **address, uint32 addressSpec,
|
2003-08-20 19:47:52 +04:00
|
|
|
size_t size, uint32 lock, uint32 protection);
|
2003-08-19 18:11:58 +04:00
|
|
|
status_t _user_delete_area(area_id area);
|
2002-07-09 16:24:59 +04:00
|
|
|
region_id user_vm_map_file(char *uname, void **uaddress, int addr_type,
|
2003-08-20 19:47:52 +04:00
|
|
|
addr size, int lock, int mapping, const char *upath, off_t offset);
|
|
|
|
area_id _user_area_for(void *address);
|
|
|
|
area_id _user_find_area(const char *name);
|
|
|
|
status_t _user_get_area_info(area_id area, area_info *info);
|
|
|
|
status_t _user_get_next_area_info(team_id team, int32 *cookie, area_info *info);
|
|
|
|
status_t _user_resize_area(area_id area, size_t newSize);
|
|
|
|
status_t _user_set_area_protection(area_id area, uint32 newProtection);
|
|
|
|
area_id _user_clone_area(const char *name, void **_address, uint32 addressSpec,
|
|
|
|
uint32 protection, area_id sourceArea);
|
2002-07-09 16:24:59 +04:00
|
|
|
|
|
|
|
region_id find_region_by_name(const char *);
|
|
|
|
region_id find_region_by_address (addr);
|
|
|
|
int vm_resize_region (aspace_id, region_id, size_t);
|
|
|
|
|
2002-12-03 04:51:39 +03:00
|
|
|
// to protect code regions with interrupts turned on
|
|
|
|
void permit_page_faults(void);
|
|
|
|
void forbid_page_faults(void);
|
|
|
|
|
2002-07-09 16:24:59 +04:00
|
|
|
// XXX remove later
|
|
|
|
void vm_test(void);
|
|
|
|
|
2003-06-27 06:27:43 +04:00
|
|
|
#ifdef __cplusplus
|
|
|
|
}
|
2002-07-09 16:24:59 +04:00
|
|
|
#endif
|
|
|
|
|
2003-06-27 06:27:43 +04:00
|
|
|
#endif /* _KERNEL_VM_H */
|