Subversion Repositories HelenOS

Rev

Rev 2149 | Go to most recent revision | Only display areas with differences | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

Rev 2149 Rev 2241
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:
8 
 *
 8 
 *
9 
 * - Redistributions of source code must retain the above copyright
 9 
 * - Redistributions of source code must retain the above copyright
10 
 *   notice, this list of conditions and the following disclaimer.
 10 
 *   notice, this list of conditions and the following disclaimer.
11 
 * - Redistributions in binary form must reproduce the above copyright
 11 
 * - Redistributions in binary form must reproduce the above copyright
12 
 *   notice, this list of conditions and the following disclaimer in the
 12 
 *   notice, this list of conditions and the following disclaimer in the
13 
 *   documentation and/or other materials provided with the distribution.
 13 
 *   documentation and/or other materials provided with the distribution.
14 
 * - The name of the author may not be used to endorse or promote products
 14 
 * - The name of the author may not be used to endorse or promote products
15 
 *   derived from this software without specific prior written permission.
 15 
 *   derived from this software without specific prior written permission.
16 
 *
 16 
 *
17 
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
 17 
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18 
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
 18 
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19 
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
 19 
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20 
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
 20 
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21 
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
 21 
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22 
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
 22 
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23 
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
 23 
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24 
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 24 
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25 
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
 25 
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26 
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 26 
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27 
 */
 27 
 */
28 
 
 28 
 
29 
/** @addtogroup arm32  
 29 
/** @addtogroup arm32  
30 
 * @{
 30 
 * @{
31 
 */
 31 
 */
32 
/** @file
 32 
/** @file
33 
 */
 33 
 */
34 
 
 34 
 
35 
#ifndef KERN_arm32_TYPES_H_
 35 
#ifndef KERN_arm32_TYPES_H_
36 
#define KERN_arm32_TYPES_H_
 36 
#define KERN_arm32_TYPES_H_
37 
 
 37 
 
38 
#define NULL 0
 38 
#define NULL 0
39 
#define false 0
 39 
#define false 0
40 
#define true 1
 40 
#define true 1
41 
 
 41 
 
42 
typedef signed char int8_t;
 42 
typedef signed char int8_t;
43 
typedef signed short int16_t;
 43 
typedef signed short int16_t;
44 
typedef signed long int32_t;
 44 
typedef signed long int32_t;
45 
typedef signed long long int64_t;
 45 
typedef signed long long int64_t;
46 
 
 46 
 
47 
typedef unsigned char uint8_t;
 47 
typedef unsigned char uint8_t;
48 
typedef unsigned short uint16_t;
 48 
typedef unsigned short uint16_t;
49 
typedef unsigned long uint32_t;
 49 
typedef unsigned long uint32_t;
50 
typedef unsigned long long uint64_t;
 50 
typedef unsigned long long uint64_t;
51 
 
 51 
 
52 
typedef uint32_t size_t;
 52 
typedef uint32_t size_t;
53 
typedef uint32_t count_t;
 53 
typedef uint32_t count_t;
54 
typedef uint32_t index_t;
 54 
typedef uint32_t index_t;
55 
 
 55 
 
56 
typedef uint32_t uintptr_t;
 56 
typedef uint32_t uintptr_t;
57 
typedef uint32_t pfn_t;
 57 
typedef uint32_t pfn_t;
58 
 
 58 
 
59 
typedef uint32_t ipl_t;
 59 
typedef uint32_t ipl_t;
60 
 
 60 
 
61 
typedef uint32_t unative_t;
 61 
typedef uint32_t unative_t;
62 
typedef int32_t native_t;
 62 
typedef int32_t native_t;
63 
 
 63 
 
64 
typedef uint8_t bool;
 64 
typedef uint8_t bool;
65 
typedef uint64_t task_id_t;
 65 
typedef uint64_t task_id_t;
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 
 */
120 
 
 136