Subversion Repositories HelenOS

Rev

Rev 3222 | Go to most recent revision | Show entire file | Regard whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 3222 Rev 3240
Line 51... Line 51...
51 
#include <synch/mutex.h>
 51 
#include <synch/mutex.h>
52 
#include <adt/list.h>
 52 
#include <adt/list.h>
53 
#include <adt/btree.h>
 53 
#include <adt/btree.h>
54 
#include <lib/elf.h>
 54 
#include <lib/elf.h>
55 
 
 55 
 
56 
#ifdef __OBJC__
 - 
 
57 
#include <lib/objc.h>
 - 
 
58 
#endif
 - 
 
59 
 
 - 
 
60 
/**
 56 
/**
61 
 * Defined to be true if user address space and kernel address space shadow each
 57 
 * Defined to be true if user address space and kernel address space shadow each
62 
 * other.
 58 
 * other.
63 
 */
 59 
 */
64 
#define KERNEL_ADDRESS_SPACE_SHADOWED   KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
 60 
#define KERNEL_ADDRESS_SPACE_SHADOWED   KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
Line 82... Line 78...
82 
/** The page fault was resolved by as_page_fault(). */
 78 
/** The page fault was resolved by as_page_fault(). */
83 
#define AS_PF_OK        1
 79 
#define AS_PF_OK        1
84 
/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
 80 
/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
85 
#define AS_PF_DEFER     2
 81 
#define AS_PF_DEFER     2
86 
 
 82 
 
87 
#ifdef __OBJC__
 - 
 
88 
@interface as_t : base_t {
 - 
 
89 
    @public
 - 
 
90 
        /** Protected by asidlock. */
 - 
 
91 
        link_t inactive_as_with_asid_link;
 - 
 
92 
        /**
 - 
 
93 
         * Number of processors on wich is this address space active.
 - 
 
94 
         * Protected by asidlock.
 - 
 
95 
         */
 - 
 
96 
        count_t cpu_refcount;
 - 
 
97 
        /**
 - 
 
98 
         * Address space identifier.
 - 
 
99 
         * Constant on architectures that do not support ASIDs.
 - 
 
100 
         * Protected by asidlock.  
 - 
 
101 
         */
 - 
 
102 
        asid_t asid;
 - 
 
103 
       
 - 
 
104 
        /** Number of references (i.e tasks that reference this as). */
 - 
 
105 
        atomic_t refcount;
 - 
 
106 
 
 - 
 
107 
        mutex_t lock;
 - 
 
108 
       
 - 
 
109 
        /** B+tree of address space areas. */
 - 
 
110 
        btree_t as_area_btree;
 - 
 
111 
       
 - 
 
112 
        /** Non-generic content. */
 - 
 
113 
        as_genarch_t genarch;
 - 
 
114 
       
 - 
 
115 
        /** Architecture specific content. */
 - 
 
116 
        as_arch_t arch;
 - 
 
117 
}
 - 
 
118 
 
 - 
 
119 
+ (pte_t *) page_table_create: (int) flags;
 - 
 
120 
+ (void) page_table_destroy: (pte_t *) page_table;
 - 
 
121 
- (void) page_table_lock: (bool) _lock;
 - 
 
122 
- (void) page_table_unlock: (bool) unlock;
 - 
 
123 
 
 - 
 
124 
@end
 - 
 
125 
 
 - 
 
126 
#else
 - 
 
127 
 
 - 
 
128 
/** Address space structure.
 83 
/** Address space structure.
129 
 *
 84 
 *
130 
 * as_t contains the list of as_areas of userspace accessible
 85 
 * as_t contains the list of as_areas of userspace accessible
131 
 * pages for one or more tasks. Ranges of kernel memory pages are not
 86 
 * pages for one or more tasks. Ranges of kernel memory pages are not
132 
 * supposed to figure in the list as they are shared by all tasks and
 87 
 * supposed to figure in the list as they are shared by all tasks and
Line 166... Line 121...
166 
    pte_t *(* page_table_create)(int flags);
 121 
    pte_t *(* page_table_create)(int flags);
167 
    void (* page_table_destroy)(pte_t *page_table);
 122 
    void (* page_table_destroy)(pte_t *page_table);
168 
    void (* page_table_lock)(as_t *as, bool lock);
 123 
    void (* page_table_lock)(as_t *as, bool lock);
169 
    void (* page_table_unlock)(as_t *as, bool unlock);
 124 
    void (* page_table_unlock)(as_t *as, bool unlock);
170 
} as_operations_t;
 125 
} as_operations_t;
171 
#endif
 - 
 
172 
 
 126 
 
173 
/**
 127 
/**
174 
 * This structure contains information associated with the shared address space
 128 
 * This structure contains information associated with the shared address space
175 
 * area.
 129 
 * area.
176 
 */
 130 
 */
Line 247... Line 201...
247 
    void (* share)(as_area_t *area);
 201 
    void (* share)(as_area_t *area);
248 
} mem_backend_t;
 202 
} mem_backend_t;
249 
 
 203 
 
250 
extern as_t *AS_KERNEL;
 204 
extern as_t *AS_KERNEL;
251 
 
 205 
 
252 
#ifndef __OBJC__
 - 
 
253 
extern as_operations_t *as_operations;
 206 
extern as_operations_t *as_operations;
254 
#endif
 - 
 
255 
 
 - 
 
256 
extern link_t inactive_as_with_asid_head;
 207 
extern link_t inactive_as_with_asid_head;
257 
 
 208 
 
258 
extern void as_init(void);
 209 
extern void as_init(void);
259 
 
 210 
 
260 
extern as_t *as_create(int flags);
 211 
extern as_t *as_create(int flags);