arch.h

虚拟地址空间基于文件的操作系统

#ifndef OS_MEMORY_ARCH
#define OS_MEMORY_ARCH

extern void unlock_memory_body(int memory_body_id);
extern void lock_memory_body(int memory_body_id);
extern void memory_v_operation(int processor,int semaphore);
extern void memory_wait(int sleep_semaphore,
	int next_processor,int next_semaphore);

extern int memory_set_file_capability(int file_window,int right,
	struct capability *file_capability);
extern int migrate_to_file_system(int processor_process,
	struct thread_physical_block *pb);

extern int memory_set_tlb_item(int memory_process_id,
	int file_window,int logic_block_number,
	int physical_number,int right);
extern int memory_clear_tlb_item(int memory_process_id,
	int file_window,int logic_block_number);

extern void mount_page_table(int file_id,int map_length);
extern void unmount_page_table(int memory_process_id,int file_id);
extern int memory_get_accessed_block(int check_access_number);

extern int call_device_driver(
	int (*control)(struct file_system_call_parameter *par),
	struct file_system_call_parameter *par);
#endif