Rev 2089 | Rev 3672 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
Rev 2089 | Rev 2106 | ||
---|---|---|---|
Line 52... | Line 52... | ||
52 | #ifndef __ASM__ |
52 | #ifndef __ASM__ |
53 | 53 | ||
54 | #include <arch/mm/tte.h> |
54 | #include <arch/mm/tte.h> |
55 | #include <arch/mm/mmu.h> |
55 | #include <arch/mm/mmu.h> |
56 | #include <arch/types.h> |
56 | #include <arch/types.h> |
57 | #include <mm/as.h> |
- | |
58 | 57 | ||
59 | /** TSB Base register. */ |
58 | /** TSB Base register. */ |
60 | typedef union tsb_base_reg { |
59 | typedef union tsb_base_reg { |
61 | uint64_t value; |
60 | uint64_t value; |
62 | struct { |
61 | struct { |
Line 106... | Line 105... | ||
106 | static inline void dtsb_base_write(uint64_t v) |
105 | static inline void dtsb_base_write(uint64_t v) |
107 | { |
106 | { |
108 | asi_u64_write(ASI_DMMU, VA_DMMU_TSB_BASE, v); |
107 | asi_u64_write(ASI_DMMU, VA_DMMU_TSB_BASE, v); |
109 | } |
108 | } |
110 | 109 | ||
- | 110 | /* Forward declarations. */ |
|
- | 111 | struct as; |
|
- | 112 | struct pte; |
|
- | 113 | ||
111 | extern void tsb_invalidate(as_t *as, uintptr_t page, count_t pages); |
114 | extern void tsb_invalidate(struct as *as, uintptr_t page, count_t pages); |
112 | extern void itsb_pte_copy(pte_t *t); |
115 | extern void itsb_pte_copy(struct pte *t); |
113 | extern void dtsb_pte_copy(pte_t *t, bool ro); |
116 | extern void dtsb_pte_copy(struct pte *t, bool ro); |
114 | 117 | ||
115 | #endif /* !def __ASM__ */ |
118 | #endif /* !def __ASM__ */ |
116 | 119 | ||
117 | #endif |
120 | #endif |
118 | 121 |