Subversion Repositories HelenOS-historic

Rev

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

Rev 119 Rev 120
1 
/*
 1 
/*
2 
 * Copyright (C) 2001-2004 Jakub Jermar
 2 
 * Copyright (C) 2001-2004 Jakub Jermar
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 
#ifndef __ia32_PAGE_H__
 29 
#ifndef __ia32_PAGE_H__
30 
#define __ia32_PAGE_H__
 30 
#define __ia32_PAGE_H__
31 
 
 31 
 
- 
 
 32 
#include <mm/page.h>
32 
#include <arch/types.h>
 33 
#include <arch/types.h>
33 
#include <arch/mm/frame.h>
 34 
#include <arch/mm/frame.h>
- 
 
 35 
#include <typedefs.h>
34 
 
 36 
 
35 
#define PAGE_SIZE   FRAME_SIZE
 37 
#define PAGE_SIZE   FRAME_SIZE
36 
 
 38 
 
37 
#define KA2PA(x)    ((x) - 0x80000000)
 39 
#define KA2PA(x)    ((x) - 0x80000000)
38 
#define PA2KA(x)    ((x) + 0x80000000)
 40 
#define PA2KA(x)    ((x) + 0x80000000)
39 
 
 41 
 
40 
/*
 42 
/*
41 
 * Implementation of generic 4-level page table interface.
 43 
 * Implementation of generic 4-level page table interface.
42 
 * IA-32 has 2-level page tables, so PTL1 and PTL2 are left out.
 44 
 * IA-32 has 2-level page tables, so PTL1 and PTL2 are left out.
43 
 */
 45 
 */
44 
#define PTL0_INDEX_ARCH(vaddr)  (((vaddr)>>22)&0x3ff)
 46 
#define PTL0_INDEX_ARCH(vaddr)  (((vaddr)>>22)&0x3ff)
45 
#define PTL1_INDEX_ARCH(vaddr)  0
 47 
#define PTL1_INDEX_ARCH(vaddr)  0
46 
#define PTL2_INDEX_ARCH(vaddr)  0
 48 
#define PTL2_INDEX_ARCH(vaddr)  0
47 
#define PTL3_INDEX_ARCH(vaddr)  (((vaddr)>>12)&0x3ff)
 49 
#define PTL3_INDEX_ARCH(vaddr)  (((vaddr)>>12)&0x3ff)
48 
 
 50 
 
- 
 
 51 
#define GET_PTL0_ADDRESS_ARCH()         ((pte_t *) read_cr3())
49 
#define GET_PTL1_ADDRESS_ARCH(ptl0, i)      ((pte_t *)((((pte_t *)(ptl0))[(i)].frame_address)<<12))
 52 
#define GET_PTL1_ADDRESS_ARCH(ptl0, i)      ((pte_t *)((((pte_t *)(ptl0))[(i)].frame_address)<<12))
50 
#define GET_PTL2_ADDRESS_ARCH(ptl1, i)      (ptl1)
 53 
#define GET_PTL2_ADDRESS_ARCH(ptl1, i)      (ptl1)
51 
#define GET_PTL3_ADDRESS_ARCH(ptl2, i)      (ptl2)
 54 
#define GET_PTL3_ADDRESS_ARCH(ptl2, i)      (ptl2)
52 
#define GET_FRAME_ADDRESS_ARCH(ptl3, i)     ((__address)((((pte_t *)(ptl3))[(i)].frame_address)<<12))
 55 
#define GET_FRAME_ADDRESS_ARCH(ptl3, i)     ((__address)((((pte_t *)(ptl3))[(i)].frame_address)<<12))
53 
 
 56 
 
- 
 
 57 
#define SET_PTL0_ADDRESS_ARCH(ptl0)     (write_cr3((__address) (ptl0)))
- 
 
 58 
#define SET_PTL1_ADDRESS_ARCH(ptl0, i, a)   (((pte_t *)(ptl0))[(i)].frame_address = (a)>>12)
- 
 
 59 
#define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
- 
 
 60 
#define SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
- 
 
 61 
#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a)  (((pte_t *)(ptl3))[(i)].frame_address = (a)>>12)
- 
 
 62 
 
- 
 
 63 
#define GET_PTL1_FLAGS_ARCH(ptl0, i)        get_pt_flags((pte_t *)(ptl0), (index_t)(i))
- 
 
 64 
#define GET_PTL2_FLAGS_ARCH(ptl1, i)        PAGE_PRESENT
- 
 
 65 
#define GET_PTL3_FLAGS_ARCH(ptl2, i)        PAGE_PRESENT
- 
 
 66 
#define GET_FRAME_FLAGS_ARCH(ptl3, i)       get_pt_flags((pte_t *)(ptl3), (index_t)(i))
- 
 
 67 
 
- 
 
 68 
#define SET_PTL1_FLAGS_ARCH(ptl0, i, x)     set_pt_flags((pte_t *)(ptl0), (index_t)(i), (x))
- 
 
 69 
#define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
- 
 
 70 
#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
- 
 
 71 
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x)    set_pt_flags((pte_t *)(ptl3), (index_t)(i), (x))
54 
 
 72 
 
55 
struct page_specifier {
 73 
struct page_specifier {
56 
    unsigned present : 1;
 74 
    unsigned present : 1;
57 
    unsigned writeable : 1;
 75 
    unsigned writeable : 1;
58 
    unsigned uaccessible : 1;
 76 
    unsigned uaccessible : 1;
59 
    unsigned page_write_through : 1;
 77 
    unsigned page_write_through : 1;
60 
    unsigned page_cache_disable : 1;
 78 
    unsigned page_cache_disable : 1;
61 
    unsigned accessed : 1;
 79 
    unsigned accessed : 1;
62 
    unsigned dirty : 1;
 80 
    unsigned dirty : 1;
63 
    unsigned : 2;
 81 
    unsigned : 2;
64 
    unsigned avl : 3;
 82 
    unsigned avl : 3;
65 
    unsigned frame_address : 20;
 83 
    unsigned frame_address : 20;
66 
} __attribute__ ((packed));
 84 
} __attribute__ ((packed));
67 
 
 85 
 
68 
typedef struct page_specifier   pte_t;
 86 
typedef struct page_specifier pte_t;
69 
 
 87 
 
- 
 
 88 
static inline int get_pt_flags(pte_t *pt, index_t i)
- 
 
 89 
{
- 
 
 90 
    pte_t *p = &pt[i];
- 
 
 91 
   
- 
 
 92 
    return (
- 
 
 93 
        (!p->page_cache_disable)<<PAGE_CACHEABLE_SHIFT |
- 
 
 94 
        (!p->present)<<PAGE_PRESENT_SHIFT |
- 
 
 95 
        p->uaccessible<<PAGE_USER_SHIFT |
- 
 
 96 
        1<<PAGE_READ_SHIFT |
- 
 
 97 
        p->writeable<<PAGE_WRITE_SHIFT |
- 
 
 98 
        1<<PAGE_EXEC_SHIFT
- 
 
 99 
    );
- 
 
 100 
}
- 
 
 101 
 
- 
 
 102 
static inline void set_pt_flags(pte_t *pt, index_t i, int flags)
- 
 
 103 
{
- 
 
 104 
    pte_t *p = &pt[i];
- 
 
 105 
   
- 
 
 106 
    p->page_cache_disable = !(flags & PAGE_CACHEABLE);
- 
 
 107 
    p->present = !(flags & PAGE_NOT_PRESENT);
- 
 
 108 
    p->uaccessible = flags & PAGE_USER;
- 
 
 109 
    p->writeable = flags & PAGE_WRITE;
- 
 
 110 
}
- 
 
 111 
 
70 
extern void page_arch_init(void);
 112 
extern void page_arch_init(void);
71 
 
 113 
 
72 
#endif
 114 
#endif
73 
 
 115