Ignore:
File:
1 edited

Legend:

Unmodified
Added
Removed

  • kernel/generic/include/mm/as.h

    r0321109 rada559c  
    4343
    4444/** Address space area flags. */
    45 #define AS_AREA_READ            1
    46 #define AS_AREA_WRITE           2
    47 #define AS_AREA_EXEC            4
    48 #define AS_AREA_CACHEABLE       8
     45#define AS_AREA_READ       1
     46#define AS_AREA_WRITE      2
     47#define AS_AREA_EXEC       4
     48#define AS_AREA_CACHEABLE  8
    4949
    5050/** Address space area info exported to userspace. */
    … …  
    5252        /** Starting address */
    5353        uintptr_t start_addr;
    54 
     54       
    5555        /** Area size */
    5656        size_t size;
    57 
     57       
    5858        /** Area flags */
    59         int flags;
     59        unsigned int flags;
    6060} as_area_info_t;
    6161
    … …  
    7575 * Defined to be true if user address space and kernel address space shadow each
    7676 * other.
    77  */
    78 #define KERNEL_ADDRESS_SPACE_SHADOWED   KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
    79 
    80 #define KERNEL_ADDRESS_SPACE_START      KERNEL_ADDRESS_SPACE_START_ARCH
    81 #define KERNEL_ADDRESS_SPACE_END        KERNEL_ADDRESS_SPACE_END_ARCH
    82 #define USER_ADDRESS_SPACE_START        USER_ADDRESS_SPACE_START_ARCH
    83 #define USER_ADDRESS_SPACE_END          USER_ADDRESS_SPACE_END_ARCH
    84 
    85 #define USTACK_ADDRESS                  USTACK_ADDRESS_ARCH
     77 *
     78 */
     79#define KERNEL_ADDRESS_SPACE_SHADOWED  KERNEL_ADDRESS_SPACE_SHADOWED_ARCH
     80
     81#define KERNEL_ADDRESS_SPACE_START  KERNEL_ADDRESS_SPACE_START_ARCH
     82#define KERNEL_ADDRESS_SPACE_END    KERNEL_ADDRESS_SPACE_END_ARCH
     83#define USER_ADDRESS_SPACE_START    USER_ADDRESS_SPACE_START_ARCH
     84#define USER_ADDRESS_SPACE_END      USER_ADDRESS_SPACE_END_ARCH
     85
     86#define USTACK_ADDRESS  USTACK_ADDRESS_ARCH
    8687
    8788/** Kernel address space. */
    88 #define FLAG_AS_KERNEL                  (1 << 0)       
     89#define FLAG_AS_KERNEL  (1 << 0)
    8990
    9091/* Address space area attributes. */
    91 #define AS_AREA_ATTR_NONE       0
    92 #define AS_AREA_ATTR_PARTIAL    1       /**< Not fully initialized area. */
     92#define AS_AREA_ATTR_NONE     0
     93#define AS_AREA_ATTR_PARTIAL  1  /**< Not fully initialized area. */
    9394
    9495/** The page fault was not resolved by as_page_fault(). */
    95 #define AS_PF_FAULT             0
     96#define AS_PF_FAULT  0
     97
    9698/** The page fault was resolved by as_page_fault(). */
    97 #define AS_PF_OK                1
     99#define AS_PF_OK  1
     100
    98101/** The page fault was caused by memcpy_from_uspace() or memcpy_to_uspace(). */
    99 #define AS_PF_DEFER             2
     102#define AS_PF_DEFER  2
    100103
    101104/** Address space structure.
    … …  
    105108 * supposed to figure in the list as they are shared by all tasks and
    106109 * set up during system initialization.
     110 *
    107111 */
    108112typedef struct as {
    109113        /** Protected by asidlock. */
    110114        link_t inactive_as_with_asid_link;
     115       
    111116        /**
    112117         * Number of processors on wich is this address space active.
    … …  
    114119         */
    115120        size_t cpu_refcount;
     121       
    116122        /**
    117123         * Address space identifier.
    … …  
    120126         */
    121127        asid_t asid;
    122 
     128       
    123129        /** Number of references (i.e tasks that reference this as). */
    124130        atomic_t refcount;
    125 
     131       
    126132        mutex_t lock;
    127 
     133       
    128134        /** B+tree of address space areas. */
    129135        btree_t as_area_btree;
    … …  
    131137        /** Non-generic content. */
    132138        as_genarch_t genarch;
    133 
     139       
    134140        /** Architecture specific content. */
    135141        as_arch_t arch;
    … …  
    137143
    138144typedef struct {
    139         pte_t *(* page_table_create)(int flags);
    140         void (* page_table_destroy)(pte_t *page_table);
    141         void (* page_table_lock)(as_t *as, bool lock);
    142         void (* page_table_unlock)(as_t *as, bool unlock);
     145        pte_t *(* page_table_create)(unsigned int);
     146        void (* page_table_destroy)(pte_t *);
     147        void (* page_table_lock)(as_t *, bool);
     148        void (* page_table_unlock)(as_t *, bool);
     149        bool (* page_table_locked)(as_t *);
    143150} as_operations_t;
    144151
    … …  
    146153 * This structure contains information associated with the shared address space
    147154 * area.
     155 *
    148156 */
    149157typedef struct {
    150158        /** This lock must be acquired only when the as_area lock is held. */
    151         mutex_t lock;           
     159        mutex_t lock;
    152160        /** This structure can be deallocated if refcount drops to 0. */
    153161        size_t refcount;
     162       
    154163        /**
    155164         * B+tree containing complete map of anonymous pages of the shared area.
    … …  
    169178/** Backend data stored in address space area. */
    170179typedef union mem_backend_data {
    171         struct {        /**< elf_backend members */
     180        /** elf_backend members */
     181        struct {
    172182                elf_header_t *elf;
    173183                elf_segment_header_t *segment;
    174184        };
    175         struct {        /**< phys_backend members */
     185       
     186        /** phys_backend members */
     187        struct {
    176188                uintptr_t base;
    177189                size_t frames;
    … …  
    182194 *
    183195 * Each as_area_t structure describes one contiguous area of virtual memory.
     196 *
    184197 */
    185198typedef struct {
    186199        mutex_t lock;
    187200        /** Containing address space. */
    188         as_t *as;               
     201        as_t *as;
     202       
    189203        /**
    190204         * Flags related to the memory represented by the address space area.
    191205         */
    192         int flags;
     206        unsigned int flags;
     207       
    193208        /** Attributes related to the address space area itself. */
    194         int attributes;
     209        unsigned int attributes;
    195210        /** Size of this area in multiples of PAGE_SIZE. */
    196211        size_t pages;
    … …  
    199214        /** Map of used space. */
    200215        btree_t used_space;
    201 
     216       
    202217        /**
    203218         * If the address space area has been shared, this pointer will
    … …  
    205220         */
    206221        share_info_t *sh_info;
    207 
     222       
    208223        /** Memory backend backing this address space area. */
    209224        struct mem_backend *backend;
    210 
     225       
    211226        /** Data to be used by the backend. */
    212227        mem_backend_data_t backend_data;
    … …  
    215230/** Address space area backend structure. */
    216231typedef struct mem_backend {
    217         int (* page_fault)(as_area_t *area, uintptr_t addr, pf_access_t access);
    218         void (* frame_free)(as_area_t *area, uintptr_t page, uintptr_t frame);
    219         void (* share)(as_area_t *area);
     232        int (* page_fault)(as_area_t *, uintptr_t, pf_access_t);
     233        void (* frame_free)(as_area_t *, uintptr_t, uintptr_t);
     234        void (* share)(as_area_t *);
    220235} mem_backend_t;
    221236
    … …  
    227242extern void as_init(void);
    228243
    229 extern as_t *as_create(int);
     244extern as_t *as_create(unsigned int);
    230245extern void as_destroy(as_t *);
    231246extern void as_hold(as_t *);
    … …  
    234249extern int as_page_fault(uintptr_t, pf_access_t, istate_t *);
    235250
    236 extern as_area_t *as_area_create(as_t *, int, size_t, uintptr_t, int,
    237     mem_backend_t *, mem_backend_data_t *);
     251extern as_area_t *as_area_create(as_t *, unsigned int, size_t, uintptr_t,
     252    unsigned int, mem_backend_t *, mem_backend_data_t *);
    238253extern int as_area_destroy(as_t *, uintptr_t);
    239 extern int as_area_resize(as_t *, uintptr_t, size_t, int);
    240 extern int as_area_share(as_t *, uintptr_t, size_t, as_t *, uintptr_t, int);
    241 extern int as_area_change_flags(as_t *, int, uintptr_t);
    242 
    243 extern int as_area_get_flags(as_area_t *);
     254extern int as_area_resize(as_t *, uintptr_t, size_t, unsigned int);
     255extern int as_area_share(as_t *, uintptr_t, size_t, as_t *, uintptr_t,
     256    unsigned int);
     257extern int as_area_change_flags(as_t *, unsigned int, uintptr_t);
     258
     259extern unsigned int as_area_get_flags(as_area_t *);
    244260extern bool as_area_check_access(as_area_t *, pf_access_t);
    245261extern size_t as_area_get_size(uintptr_t);
    … …  
    249265
    250266/* Interface to be implemented by architectures. */
     267
    251268#ifndef as_constructor_arch
    252 extern int as_constructor_arch(as_t *, int);
     269extern int as_constructor_arch(as_t *, unsigned int);
    253270#endif /* !def as_constructor_arch */
     271
    254272#ifndef as_destructor_arch
    255273extern int as_destructor_arch(as_t *);
    256274#endif /* !def as_destructor_arch */
     275
    257276#ifndef as_create_arch
    258 extern int as_create_arch(as_t *, int);
     277extern int as_create_arch(as_t *, unsigned int);
    259278#endif /* !def as_create_arch */
     279
    260280#ifndef as_install_arch
    261281extern void as_install_arch(as_t *);
    262282#endif /* !def as_install_arch */
     283
    263284#ifndef as_deinstall_arch
    264285extern void as_deinstall_arch(as_t *);
    … …  
    270291extern mem_backend_t phys_backend;
    271292
    272 /** 
     293/**
    273294 * This flags is passed when running the loader, otherwise elf_load()
    274295 * would return with a EE_LOADER error code.
    275  */
    276 #define ELD_F_NONE      0
    277 #define ELD_F_LOADER    1
    278 
    279 extern unsigned int elf_load(elf_header_t *, as_t *, int);
     296 *
     297 */
     298#define ELD_F_NONE    0
     299#define ELD_F_LOADER  1
     300
     301extern unsigned int elf_load(elf_header_t *, as_t *, unsigned int);
    280302
    281303/* Address space area related syscalls. */
    282 extern unative_t sys_as_area_create(uintptr_t, size_t, int);
    283 extern unative_t sys_as_area_resize(uintptr_t, size_t, int);
    284 extern unative_t sys_as_area_change_flags(uintptr_t, int);
     304extern unative_t sys_as_area_create(uintptr_t, size_t, unsigned int);
     305extern unative_t sys_as_area_resize(uintptr_t, size_t, unsigned int);
     306extern unative_t sys_as_area_change_flags(uintptr_t, unsigned int);
    285307extern unative_t sys_as_area_destroy(uintptr_t);
    286308
Note: See TracChangeset for help on using the changeset viewer.