54,6 → 54,7 |
#include <arch/mm/tte.h> |
#include <arch/mm/mmu.h> |
#include <arch/types.h> |
#include <mm/as.h> |
|
/** TSB Base register. */ |
typedef union tsb_base_reg { |
107,14 → 108,10 |
asi_u64_write(ASI_DMMU, VA_DMMU_TSB_BASE, v); |
} |
|
/* Forward declarations. */ |
struct as; |
struct pte; |
extern void tsb_invalidate(as_t *as, uintptr_t page, count_t pages); |
extern void itsb_pte_copy(pte_t *t); |
extern void dtsb_pte_copy(pte_t *t, bool ro); |
|
extern void tsb_invalidate(struct as *as, uintptr_t page, count_t pages); |
extern void itsb_pte_copy(struct pte *t); |
extern void dtsb_pte_copy(struct pte *t, bool ro); |
|
#endif /* !def __ASM__ */ |
|
#endif |