Subversion Repositories HelenOS-historic

Rev

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

Rev 684 Rev 691
Line 35... Line 35...
35 
#define PAGE_SIZE   FRAME_SIZE
 35 
#define PAGE_SIZE   FRAME_SIZE
36 
 
 36 
 
37 
#define KA2PA(x)    ((__address) (x))
 37 
#define KA2PA(x)    ((__address) (x))
38 
#define PA2KA(x)    ((__address) (x))
 38 
#define PA2KA(x)    ((__address) (x))
39 
 
 39 
 
40 
/*
 - 
 
41 
 * Implementation of generic 4-level page table interface.
 - 
 
42 
 * TODO: this is a fake implementation provided to satisfy the compiler
 - 
 
43 
 */
 - 
 
44 
#define PTL0_INDEX_ARCH(vaddr)  0
 - 
 
45 
#define PTL1_INDEX_ARCH(vaddr)  0
 - 
 
46 
#define PTL2_INDEX_ARCH(vaddr)  0
 - 
 
47 
#define PTL3_INDEX_ARCH(vaddr)  0
 - 
 
48 
 
 - 
 
49 
#define GET_PTL0_ADDRESS_ARCH()         ((pte_t *) 0)
 40 
#define GET_PTL0_ADDRESS_ARCH()         ((pte_t *) 0)
50 
#define GET_PTL1_ADDRESS_ARCH(ptl0, i)      ((pte_t *) 0)
 - 
 
51 
#define GET_PTL2_ADDRESS_ARCH(ptl1, i)      ((pte_t *) 0)
 - 
 
52 
#define GET_PTL3_ADDRESS_ARCH(ptl2, i)      ((pte_t *) 0)
 - 
 
53 
#define GET_FRAME_ADDRESS_ARCH(ptl3, i)     ((pte_t *) 0)
 - 
 
54 
 
 - 
 
55 
#define SET_PTL0_ADDRESS_ARCH(ptl0)
 41 
#define SET_PTL0_ADDRESS_ARCH(ptl0)
56 
#define SET_PTL1_ADDRESS_ARCH(ptl0, i, a)
 - 
 
57 
#define SET_PTL2_ADDRESS_ARCH(ptl1, i, a)
 - 
 
58 
#define SET_PTL3_ADDRESS_ARCH(ptl2, i, a)
 - 
 
59 
#define SET_FRAME_ADDRESS_ARCH(ptl3, i, a)
 - 
 
60 
 
 - 
 
61 
#define GET_PTL1_FLAGS_ARCH(ptl0, i)        0
 - 
 
62 
#define GET_PTL2_FLAGS_ARCH(ptl1, i)        0
 - 
 
63 
#define GET_PTL3_FLAGS_ARCH(ptl2, i)        0
 - 
 
64 
#define GET_FRAME_FLAGS_ARCH(ptl3, i)       0
 - 
 
65 
 
 - 
 
66 
#define SET_PTL1_FLAGS_ARCH(ptl0, i, x)
 - 
 
67 
#define SET_PTL2_FLAGS_ARCH(ptl1, i, x)
 - 
 
68 
#define SET_PTL3_FLAGS_ARCH(ptl2, i, x)
 - 
 
69 
#define SET_FRAME_FLAGS_ARCH(ptl3, i, x)
 - 
 
70 
 
 42 
 
71 
extern void page_arch_init(void);
 43 
extern void page_arch_init(void);
72 
 
 44 
 
73 
#endif
 45 
#endif