36,43 → 36,17 |
#define KERN_AS_HT_H_ |
|
#include <mm/mm.h> |
#include <arch/mm/asid.h> |
#include <adt/list.h> |
#include <adt/btree.h> |
#include <synch/mutex.h> |
#include <arch/types.h> |
|
/** Address space structure. |
* |
* as_t contains the list of as_areas of userspace accessible |
* pages for one or more tasks. Ranges of kernel memory pages are not |
* supposed to figure in the list as they are shared by all tasks and |
* set up during system initialization. |
*/ |
typedef struct { |
/** Protected by asidlock. */ |
link_t inactive_as_with_asid_link; |
} as_genarch_t; |
|
mutex_t lock; |
struct as; |
|
/** Number of references (i.e tasks that reference this as). */ |
count_t refcount; |
|
/** Number of processors on wich is this address space active. */ |
count_t cpu_refcount; |
|
/** B+tree of address space areas. */ |
btree_t as_area_btree; |
|
/** Address space identifier. Constant on architectures that do not support ASIDs.*/ |
asid_t asid; |
|
/** Architecture specific content. */ |
as_arch_t arch; |
} as_t; |
|
typedef struct { |
typedef struct pte { |
link_t link; /**< Page hash table link. */ |
as_t *as; /**< Address space. */ |
struct as *as; /**< Address space. */ |
uintptr_t page; /**< Virtual memory page. */ |
uintptr_t frame; /**< Physical memory frame. */ |
unsigned g : 1; /**< Global page. */ |