Subversion Repositories HelenOS

Rev

Rev 3674 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
35 jermar 1
/*
2071 jermar 2
 * Copyright (c) 2005 - 2006 Jakub Jermar
3
 * Copyright (c) 2006 Jakub Vana
35 jermar 4
 * All rights reserved.
5
 *
6
 * Redistribution and use in source and binary forms, with or without
7
 * modification, are permitted provided that the following conditions
8
 * are met:
9
 *
10
 * - Redistributions of source code must retain the above copyright
11
 *   notice, this list of conditions and the following disclaimer.
12
 * - Redistributions in binary form must reproduce the above copyright
13
 *   notice, this list of conditions and the following disclaimer in the
14
 *   documentation and/or other materials provided with the distribution.
15
 * - The name of the author may not be used to endorse or promote products
16
 *   derived from this software without specific prior written permission.
17
 *
18
 * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
19
 * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
20
 * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
21
 * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
22
 * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
23
 * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
24
 * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
25
 * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
26
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
27
 * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
28
 */
29
 
1780 jermar 30
/** @addtogroup ia64mm 
1702 cejka 31
 * @{
32
 */
33
/** @file
34
 */
35
 
1888 jermar 36
#ifndef KERN_ia64_PAGE_H_
37
#define KERN_ia64_PAGE_H_
35 jermar 38
 
967 palkovsky 39
#include <arch/mm/frame.h>
40
 
35 jermar 41
#define PAGE_SIZE   FRAME_SIZE
715 vana 42
#define PAGE_WIDTH  FRAME_WIDTH
35 jermar 43
 
967 palkovsky 44
#ifdef KERNEL
45
 
901 jermar 46
/** Bit width of the TLB-locked portion of kernel address space. */
2007 jermar 47
#define KERNEL_PAGE_WIDTH       28  /* 256M */
2726 vana 48
#define IO_PAGE_WIDTH           26  /* 64M */
3588 svoboda 49
#define FW_PAGE_WIDTH           28  /* 256M */
35 jermar 50
 
3674 svoboda 51
#define USPACE_IO_PAGE_WIDTH        12  /* 4K */
2726 vana 52
 
3674 svoboda 53
 
4338 svoboda 54
/*
55
 * Statically mapped IO spaces - offsets to 0xe...00 of virtual addresses
56
 * because of "minimal virtual bits implemented is 51" it is possible to
57
 * have values up to 0x0007000000000000
58
 */
3674 svoboda 59
 
3588 svoboda 60
/* Firmware area (bellow 4GB in phys mem) */
61
#define FW_OFFSET             0x00000000F0000000
62
/* Legacy IO space */
63
#define IO_OFFSET             0x0001000000000000
4338 svoboda 64
/* Videoram - now mapped to 0 as VGA text mode vram on 0xb8000 */
3588 svoboda 65
#define VIO_OFFSET            0x0002000000000000
66
 
67
 
749 jermar 68
#define PPN_SHIFT           12
69
 
748 jermar 70
#define VRN_SHIFT           61
71
#define VRN_MASK            (7LL << VRN_SHIFT)
901 jermar 72
#define VA2VRN(va)          ((va)>>VRN_SHIFT)
869 vana 73
 
74
#ifdef __ASM__
75
#define VRN_KERNEL          7
76
#else
77
#define VRN_KERNEL          7LL
78
#endif
79
 
747 jermar 80
#define REGION_REGISTERS        8
715 vana 81
 
4338 svoboda 82
#define KA2PA(x)    ((uintptr_t) (x - (VRN_KERNEL << VRN_SHIFT)))
83
#define PA2KA(x)    ((uintptr_t) (x + (VRN_KERNEL << VRN_SHIFT)))
869 vana 84
 
2007 jermar 85
#define VHPT_WIDTH          20  /* 1M */
792 jermar 86
#define VHPT_SIZE           (1 << VHPT_WIDTH)
715 vana 87
 
751 jermar 88
#define PTA_BASE_SHIFT          15
89
 
749 jermar 90
/** Memory Attributes. */
91
#define MA_WRITEBACK    0x0
92
#define MA_UNCACHEABLE  0x4
93
 
94
/** Privilege Levels. Only the most and the least privileged ones are ever used. */
95
#define PL_KERNEL   0x0
96
#define PL_USER     0x3
97
 
98
/* Access Rigths. Only certain combinations are used by the kernel. */
99
#define AR_READ     0x0
100
#define AR_EXECUTE  0x1
101
#define AR_WRITE    0x2
102
 
901 jermar 103
#ifndef __ASM__
818 vana 104
 
2089 decky 105
#include <arch/mm/as.h>
901 jermar 106
#include <arch/mm/frame.h>
2089 decky 107
#include <arch/interrupt.h>
901 jermar 108
#include <arch/barrier.h>
109
#include <arch/mm/asid.h>
110
#include <arch/types.h>
111
#include <debug.h>
818 vana 112
 
747 jermar 113
struct vhpt_tag_info {
114
    unsigned long long tag : 63;
115
    unsigned ti : 1;
116
} __attribute__ ((packed));
710 vana 117
 
747 jermar 118
union vhpt_tag {
119
    struct vhpt_tag_info tag_info;
120
    unsigned tag_word;
710 vana 121
};
122
 
747 jermar 123
struct vhpt_entry_present {
710 vana 124
    /* Word 0 */
747 jermar 125
    unsigned p : 1;
126
    unsigned : 1;
127
    unsigned ma : 3;
128
    unsigned a : 1;
129
    unsigned d : 1;
130
    unsigned pl : 2;
131
    unsigned ar : 3;
132
    unsigned long long ppn : 38;
133
    unsigned : 2;
134
    unsigned ed : 1;
135
    unsigned ig1 : 11;
710 vana 136
 
137
    /* Word 1 */
747 jermar 138
    unsigned : 2;
139
    unsigned ps : 6;
140
    unsigned key : 24;
141
    unsigned : 32;
710 vana 142
 
143
    /* Word 2 */
747 jermar 144
    union vhpt_tag tag;
145
 
710 vana 146
    /* Word 3 */                                                   
1780 jermar 147
    uint64_t ig3 : 64;
747 jermar 148
} __attribute__ ((packed));
710 vana 149
 
747 jermar 150
struct vhpt_entry_not_present {
710 vana 151
    /* Word 0 */
747 jermar 152
    unsigned p : 1;
153
    unsigned long long ig0 : 52;
154
    unsigned ig1 : 11;
710 vana 155
 
156
    /* Word 1 */
747 jermar 157
    unsigned : 2;
158
    unsigned ps : 6;
159
    unsigned long long ig2 : 56;
710 vana 160
 
747 jermar 161
    /* Word 2 */
162
    union vhpt_tag tag;
710 vana 163
 
164
    /* Word 3 */                                                   
1780 jermar 165
    uint64_t ig3 : 64;
747 jermar 166
} __attribute__ ((packed));
710 vana 167
 
747 jermar 168
typedef union vhpt_entry {
169
    struct vhpt_entry_present present;
170
    struct vhpt_entry_not_present not_present;
1780 jermar 171
    uint64_t word[4];
792 jermar 172
} vhpt_entry_t;
710 vana 173
 
747 jermar 174
struct region_register_map {
175
    unsigned ve : 1;
176
    unsigned : 1;
177
    unsigned ps : 6;
178
    unsigned rid : 24;
179
    unsigned : 32;
180
} __attribute__ ((packed));
684 jermar 181
 
747 jermar 182
typedef union region_register {
183
    struct region_register_map map;
184
    unsigned long long word;
185
} region_register;
715 vana 186
 
747 jermar 187
struct pta_register_map {
188
    unsigned ve : 1;
189
    unsigned : 1;
190
    unsigned size : 6;
191
    unsigned vf : 1;
192
    unsigned : 6;
193
    unsigned long long base : 49;
194
} __attribute__ ((packed));
195
 
196
typedef union pta_register {
197
    struct pta_register_map map;
1780 jermar 198
    uint64_t word;
747 jermar 199
} pta_register;
200
 
201
/** Return Translation Hashed Entry Address.
202
 *
203
 * VRN bits are used to read RID (ASID) from one
204
 * of the eight region registers registers.
205
 *
206
 * @param va Virtual address including VRN bits.
207
 *
208
 * @return Address of the head of VHPT collision chain.
209
 */
1780 jermar 210
static inline uint64_t thash(uint64_t va)
715 vana 211
{
1780 jermar 212
    uint64_t ret;
715 vana 213
 
2082 decky 214
    asm volatile ("thash %0 = %1\n" : "=r" (ret) : "r" (va));
715 vana 215
 
747 jermar 216
    return ret;
217
}
218
 
219
/** Return Translation Hashed Entry Tag.
220
 *
221
 * VRN bits are used to read RID (ASID) from one
222
 * of the eight region registers.
223
 *
224
 * @param va Virtual address including VRN bits.
225
 *
226
 * @return The unique tag for VPN and RID in the collision chain returned by thash().
227
 */
1780 jermar 228
static inline uint64_t ttag(uint64_t va)
715 vana 229
{
1780 jermar 230
    uint64_t ret;
715 vana 231
 
2082 decky 232
    asm volatile ("ttag %0 = %1\n" : "=r" (ret) : "r" (va));
747 jermar 233
 
234
    return ret;
235
}
236
 
237
/** Read Region Register.
238
 *
239
 * @param i Region register index.
240
 *
241
 * @return Current contents of rr[i].
242
 */
1780 jermar 243
static inline uint64_t rr_read(index_t i)
715 vana 244
{
1780 jermar 245
    uint64_t ret;
748 jermar 246
    ASSERT(i < REGION_REGISTERS);
2082 decky 247
    asm volatile ("mov %0 = rr[%1]\n" : "=r" (ret) : "r" (i << VRN_SHIFT));
747 jermar 248
    return ret;
249
}
715 vana 250
 
747 jermar 251
/** Write Region Register.
252
 *
253
 * @param i Region register index.
254
 * @param v Value to be written to rr[i].
255
 */
1780 jermar 256
static inline void rr_write(index_t i, uint64_t v)
715 vana 257
{
748 jermar 258
    ASSERT(i < REGION_REGISTERS);
2082 decky 259
    asm volatile (
901 jermar 260
        "mov rr[%0] = %1\n"
261
        :
262
        : "r" (i << VRN_SHIFT), "r" (v)
263
    );
747 jermar 264
}
265
 
266
/** Read Page Table Register.
267
 *
268
 * @return Current value stored in PTA.
269
 */
1780 jermar 270
static inline uint64_t pta_read(void)
747 jermar 271
{
1780 jermar 272
    uint64_t ret;
747 jermar 273
 
2082 decky 274
    asm volatile ("mov %0 = cr.pta\n" : "=r" (ret));
747 jermar 275
 
276
    return ret;
277
}
715 vana 278
 
747 jermar 279
/** Write Page Table Register.
280
 *
281
 * @param v New value to be stored in PTA.
282
 */
1780 jermar 283
static inline void pta_write(uint64_t v)
747 jermar 284
{
2082 decky 285
    asm volatile ("mov cr.pta = %0\n" : : "r" (v));
747 jermar 286
}
715 vana 287
 
747 jermar 288
extern void page_arch_init(void);
289
 
1780 jermar 290
extern vhpt_entry_t *vhpt_hash(uintptr_t page, asid_t asid);
291
extern bool vhpt_compare(uintptr_t page, asid_t asid, vhpt_entry_t *v);
292
extern void vhpt_set_record(vhpt_entry_t *v, uintptr_t page, asid_t asid, uintptr_t frame, int flags);
792 jermar 293
 
967 palkovsky 294
#endif /* __ASM__ */
869 vana 295
 
967 palkovsky 296
#endif /* KERNEL */
297
 
869 vana 298
#endif
1702 cejka 299
 
1780 jermar 300
/** @}
1702 cejka 301
 */