Rev 2089 | Rev 2141 | 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 | ||