Rev 125 | Rev 169 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 125 | Rev 135 | ||
---|---|---|---|
Line 99... | Line 99... | ||
99 | 99 | ||
100 | static inline void set_pt_flags(pte_t *pt, index_t i, int flags) |
100 | static inline void set_pt_flags(pte_t *pt, index_t i, int flags) |
101 | { |
101 | { |
102 | pte_t *p = &pt[i]; |
102 | pte_t *p = &pt[i]; |
103 | 103 | ||
104 | p->c = (flags & PAGE_CACHEABLE) ? PAGE_CACHEABLE_EXC_WRITE : PAGE_UNCACHED; |
104 | p->c = (flags & PAGE_CACHEABLE) != 0 ? PAGE_CACHEABLE_EXC_WRITE : PAGE_UNCACHED; |
105 | p->v = !(flags & PAGE_NOT_PRESENT); |
105 | p->v = !(flags & PAGE_NOT_PRESENT); |
106 | p->d = flags & PAGE_WRITE; |
106 | p->d = (flags & PAGE_WRITE) != 0; |
107 | } |
107 | } |
108 | 108 | ||
109 | extern void page_arch_init(void); |
109 | extern void page_arch_init(void); |
110 | 110 | ||
111 | extern pte_t *PTL0; |
111 | extern pte_t *PTL0; |