Subversion Repositories HelenOS

Rev

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

Rev 2149 Rev 2241
Line 1... Line 1...
1 
/*
 1 
/*
2 
 * Copyright (c) 2003-2007 Jakub Jermar
 2 
 * Copyright (c) 2007 Pavel Jancik, Michal Kebrt
3 
 * All rights reserved.
 3 
 * All rights reserved.
4 
 *
 4 
 *
5 
 * Redistribution and use in source and binary forms, with or without
 5 
 * Redistribution and use in source and binary forms, with or without
6 
 * modification, are permitted provided that the following conditions
 6 
 * modification, are permitted provided that the following conditions
7 
 * are met:
 7 
 * are met:
Line 66... Line 66...
66 
typedef uint32_t context_id_t;
 66 
typedef uint32_t context_id_t;
67 
 
 67 
 
68 
typedef int32_t inr_t;
 68 
typedef int32_t inr_t;
69 
typedef int32_t devno_t;
 69 
typedef int32_t devno_t;
70 
 
 70 
 
71 
/** Page Table Entry. */
 71 
/** Page table entry.
- 
 
 72 
 *  
- 
 
 73 
 *  We have different structs for level 0 and level 1 page table entries.
- 
 
 74 
 * */
72 
typedef struct {
 75 
typedef struct {
73 
    /**PageTables are so different that we have different types
 - 
 
74 
     *   for level 0 and level1 page table entries
 - 
 
75 
     */  
 - 
 
76 
  unsigned dummy : 32;
 76 
  unsigned dummy : 32;
77 
} pte_t;
 77 
} pte_t;
78 
 
 78 
 
- 
 
 79 
/** Level 0 page table entry. */
79 
typedef struct {
 80 
typedef struct {
- 
 
 81 
    /* 01b for coarse tables, see below for details */
80 
    unsigned descriptor_type     : 2;
 82 
    unsigned descriptor_type     : 2;
81 
    unsigned machine_depend      : 3; // Alf: ???? v Architecture previev neni vyznam definovan
 83 
    unsigned impl_specific       : 3;
82 
    unsigned domain              : 4;
 84 
    unsigned domain              : 4;
83 
    unsigned should_be_zero      : 1;
 85 
    unsigned should_be_zero      : 1;
- 
 
 86 
    /* Pointer to the coarse 2nd level page table (holding entries for small (4KB)
- 
 
 87 
     * or large (64KB) pages. ARM also supports fine 2nd level page tables that
- 
 
 88 
     * may hold even tiny pages (1KB) but they are bigger (4KB per table in comparison
- 
 
 89 
     * with 1KB per the coarse table)
- 
 
 90 
    */
84 
    unsigned coarse_table_addr   : 22;
 91 
    unsigned coarse_table_addr   : 22;
85 
} __attribute__ ((packed)) pte_level0_t;
 92 
} __attribute__ ((packed)) pte_level0_t;
86 
 
 93 
 
87 
//TODO Alf: Comments
 94 
/** Level 1 page table entry (small (4KB) pages used) */
88 
typedef struct {
 95 
typedef struct {
- 
 
 96 
    /* 0b10 for small pages */
89 
    unsigned descriptor_type     : 2;
 97 
    unsigned descriptor_type     : 2;
90 
    unsigned bufferable          : 1;
 98 
    unsigned bufferable          : 1;
91 
    unsigned cacheable           : 1;
 99 
    unsigned cacheable           : 1;
- 
 
 100 
    /* access permissions for each of 4 subparts of a page
- 
 
 101 
     * (for each 1KB when small pages used */
92 
    unsigned access_permission_0 : 2;
 102 
    unsigned access_permission_0 : 2;
93 
    unsigned access_permission_1 : 2;
 103 
    unsigned access_permission_1 : 2;
94 
    unsigned access_permission_2 : 2;
 104 
    unsigned access_permission_2 : 2;
95 
    unsigned access_permission_3 : 2;
 105 
    unsigned access_permission_3 : 2;
96 
    unsigned frame_base_addr     : 20;
 106 
    unsigned frame_base_addr     : 20;
97 
} __attribute__ ((packed)) pte_level1_t;
 107 
} __attribute__ ((packed)) pte_level1_t;
98 
 
 108 
 
- 
 
 109 
 
99 
/// Page table level 1 access permission constants
 110 
/* Level 1 page tables access permissions */
- 
 
 111 
 
100 
/// User no acess, kernel no access
 112 
/** User mode: no access, privileged mode: no access */
101 
#define pte_ap_user_no_kernel_no 0
 113 
#define pte_ap_user_no_kernel_no 0
102 
/// User no acess, kernel read/write
 114 
/** User mode: no access, privileged mode: read/write */
103 
#define pte_ap_user_no_kernel_rw 1
 115 
#define pte_ap_user_no_kernel_rw 1
104 
/// User read only, kernel read/write
 116 
/** User mode: read only, privileged mode: read/write */
105 
#define pte_ap_user_ro_kernel_rw 2
 117 
#define pte_ap_user_ro_kernel_rw 2
106 
/// User read/write, kernel read/write
 118 
/// User mode: read/write, privileged mode: read/write
107 
#define pte_ap_user_rw_kernel_rw 2
 119 
#define pte_ap_user_rw_kernel_rw 3
- 
 
 120 
 
108 
 
 121 
 
109 
/// Value of descriptor_type in pte_level0_t and pte_level1_t that signal not present flag
122 
/* pte_level0_t and pte_level1_t descriptor_type flags */
- 
 
 123 
 
- 
 
 124 
/** pte_level0_t and pte_level1_t "not present" flag (used in descriptor_type) */
110 
#define pte_descriptor_not_preset 0
125 
#define pte_descriptor_not_preset   0
111 
/// Value of descriptor_type in pte_level0_t that signal a coarse page table format
 126 
/** pte_level0_t coarse page table flag (used in descriptor_type) */
112 
#define pte_descriptor_coarse_table 1
 127 
#define pte_descriptor_coarse_table 1
113 
/// Value of descriptor_type in pte_level1_t that signal a small page table entry format
 128 
/** pte_level1_t small page table flag (used in descriptor type) */
114 
#define pte_descriptor_small_page 2
 129 
#define pte_descriptor_small_page   2
- 
 
 130 
 
115 
 
 131 
 
116 
#endif
 132 
#endif
117 
 
 133 
 
118 
/** @}
 134 
/** @}
119 
 */
 135 
 */